Michael J. Fischer 131-142 conf/focs/FOCS9 1968 FOCS db/conf/focs/focs68.html#Fischer68