Taylor L. Booth 74-81 conf/focs/FOCS10 1969 FOCS db/conf/focs/focs69.html#Booth69