An introduction to the construction and verification of Alphard programs (1976)

by William A Wulf, Ralph L London, Mary Shaw
Venue:IEEE Transactions on Software Engineering