John C. Warkentin Patrick C. Fischer 81-87 conf/stoc/STOC4 1972 STOC db/conf/stoc/stoc72.html#WarkentinF72