[ACM] CACM 20(12) December 1977
(1977)
(1957)
Communications of the ACM
Greif, Irene (1977)
Greif, Irene "A language for formal problem specification"