EATCS This user is a member of the EATCS (European Association for Theoretical Computer Science)