David A. Plaisted 264-267 conf/focs/FOCS17 1976 FOCS db/conf/focs/focs76.html#Plaisted76 https://doi.org/10.1109/SFCS.1976.29 https://doi.ieeecomputersociety.org/10.1109/SFCS.1976.29