Stuart A. Kurtz 224-230 conf/stoc/STOC14 1982 STOC db/conf/stoc/stoc82.html#Kurtz82 http://doi.acm.org/10.1145/800070.802195