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

by R L London, M Shaw, W A Wulf
Venue:IEEE Trans. Software Eng. SE-2