Christos H. Papadimitriou Jeffrey D. Ullman 84-88 conf/focs/FOCS25 1984 FOCS db/conf/focs/focs84.html#PapadimitriouU84 http://doi.ieeecomputersociety.org/10.1109/SFCS.1984.715904