Higher order software techniques applied to a space shuttle prototype program. - Margaret H. Hamilton; Saydean Zeldin (Symposium on Programming, 1974)

Higher Order Software - A Methodology for Defining Software. - Margaret H. Hamilton; Saydean Zeldin (IEEE Trans. Software Eng., 1976)

Reliability in terms of predictability. - Margaret H. Hamilton; Saydean Zeldin (COMPSAC, 1978)

The relationship between design and verification. - Margaret H. Hamilton; Saydean Zeldin (J. Syst. Softw., 1979)

The functional life cycle model and its automation: USE.IT. - Margaret H. Hamilton; Saydean Zeldin (J. Syst. Softw., 1983)

001: a rapid development approach for rapid prototyping based on a system that supports its own life cycle. - Margaret H. Hamilton; William R. Hackler (RSP, 1990)

Prototyping distributed environments with 001. - Margaret H. Hamilton; Ron Hackler (RSP, 1991)

Preventative software systems. - Margaret H. Hamilton (COMPSAC, 1994)

Universal Systems Language: Lessons Learned from Apollo. - Margaret H. Hamilton; William R. Hackler (Computer, 2008)

What the Errors Tell Us. - Margaret H. Hamilton (IEEE Softw., 2018)