Eshrat Arjomandi Derek G. Corneil 13-18 conf/focs/FOCS16 1975 FOCS db/conf/focs/focs75.html#ArjomandiC75