“...Annual symposium on foundations of computer science Sante Fe, New Mexico)...”