S. M. Amoroso 83-94 conf/focs/FOCS8 1967 FOCS db/conf/focs/focs67.html#Amoroso67