Sam Savage 85-91 conf/focs/FOCS14 1973 FOCS db/conf/focs/focs73.html#Savage73