Programming languages and their definition - Bekič, H. (Hans), 1936-1982 (Lecture notes in computer science ;, 1984)