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

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

Languages mentioned MSG.84 {1985}