Fred L. Luconi 76-84 conf/focs/FOCS9 1968 FOCS db/conf/focs/focs68.html#Luconi68