L. Csanky 11-12 conf/focs/FOCS16 1975 FOCS db/conf/focs/focs75.html#Csanky75