IFIP Working Group 2.2 Bulletin (1971)
(1971)
Blum, E. K. (1971)
Blum, E. K. "Semantics of programming languages"