[ACM] CACM 29(05) (May 1986)

(1957) Communications of the ACM  

Berzins, Valdis; Gray, Michael; Naumann, David (1986) Berzins, Valdis; Gray, Michael; Naumann, David "Abstraction-based software development" pp402-415