Programming languages and their definition : SELECTED PAPERS - Bekič, H. (Springer Verlag, 1984)