[ACM] CACM 27(11) November 1983

(1957) Communications of the ACM  

Wile, David (1983) Wile, David "Program development: Formal explanations of implementations" pp902-911