Series Electronic Notes in Theoretical Computer Science