Donald A. Alton, John L. Lowther. Non-existence of program optimizers in an abstract setting. In Bernard Robinet, editor, Programming Symposium, Proceedings Colloque sur la Programmation, Paris, France, April 9-11, 1974. Volume 19 of Lecture Notes in Computer Science, pages 253-265, Springer, 1974.
Abstract is missing.