Electronic Notes in Theoretical Computer Science