Programming languages and their definition : SELECTED PAPERS - Bekič, H. (Lecture Notes in Computer Science, 1984)