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. 17-32 1974 conf/programm/1974 Symposium on Programming db/conf/programm/programm1974.html#HamiltonZ74