Programming languages and their definition : SELECTED PAPERS. - Bekič, H.; Jones, C. B. (Berlin : Springer Verlag, 1984)