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)

Business Objects and Application Integration (Abstract). - Saydean Zeldin (ICDE, 1999)

The Importance of Extensible Database Systems for E-Commerce. - Samuel DeFazio; Ramkumar Krishnan; Jagannathan Srinivasan; Saydean Zeldin (ICDE, 2001)