John C. Cherniavsky Robert L. Constable 27-39 conf/focs/FOCS13 1972 FOCS db/conf/focs/focs72.html#CherniavskyC72