Proceedings of an ACM conference on Language design for reliable software 1977, Raleigh, North Carolina

• Allen L. Ambler et al (1977) Allen L. Ambler et al "Gypsy: A language for specification and implementation of verifiable programs"
• G. J. Popek, J. J. Horning, B. W. Lampson, J. G. M (1977) G. J. Popek, J. J. Horning, B. W. Lampson, J. G. Mitchell, R. L. London "Notes on the design of Euclid" pp11-18