Margaret H. Hamilton, Saydean Zeldin: Higher order software techniques applied to a space shuttle prototype program. Symposium on Programming 1974: 17-32