Cliff B. Jones Programming Languages and Their Definition Lecture Notes in Computer Science 177 Springer 1984 3-540-13378-X db/conf/ibm/bekic1984.html