Greif, Irene "A language for formal problem specification"

[ACM] (1977) [ACM] CACM 20(12) December 1977  

Languages mentioned Greif formal specification language {1975}