Robert M. Keller 32-50 conf/focs/FOCS11 1970 FOCS db/conf/focs/focs70.html#Keller70