Higher order software techniques applied to a space shuttle prototype program

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.

Authors

Margaret Hamilton

This author has not been identified. It may be one of the following persons: Look up 'Margaret Hamilton' in Google

Saydean Zeldin

This author has not been identified. Look up 'Saydean Zeldin' in Google