Issue No. 02 - February (1974 vol. 23)
S. Rosen , Purdue Univ.
This is a textbook in Computer Science based on the Vienna Definition Language developed by P. Lucas and his colleagues at the IBM laboratory in Vienna. Their original purpose was to produce a formal definition of PL/I, but the language and the methodology that they have developed has much wider application.
S. Rosen, "B74-10 Computer Semantics, Studies of Algorithms, Processors and Languages", IEEE Transactions on Computers, vol. 23, no. , pp. 214, February 1974, doi:10.1109/T-C.1974.223899