Margaret Hamilton, Saydean Zeldin. Higher order software techniques applied to a space shuttle prototype program. 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 17-32, Springer, 1974.
Abstract is missing.