Technical Report TR 25.141, February 1975 A Formal Interface Specification by F. Weissenbock, IBM. Technical Report TR 25.139, December 1974, A Formal Definition of a PL/I Subset, Part I and Part II. H. Bekic, IBM. Technical Report TR 25.085, June 1968, Two Constructive Realizations of the Block Concept and their Equivalence by P. Lucas, IBM. Technical Report TR 25.080, June 1968, Formal Definition of the PL/I Compile Time Facilities, M. Fleck, IBM. Technical Report TR 25.084, June 1968, Concrete Syntax of PL/I by K. Alber, IBM. Technical Report TR 25.087, June 1968, Method and Notation for the Formal Definition of Programming Languages by P. Lucas, IBM, Technical Report TR 25.086, June 1968, Translation of PL/I into Abstract Syntax by K. Alber, IBM. Technical Report TR 25.083, June 1968, Informal Introduction to the Abstract Syntax and Interpretation of PL/I by P. Lucas, IBM. Technical Report TR 25.082, June 1968, Abstract Syntax and Interpretation of PL/I by K. Walk, IBM. Technical Report TR 25.071, December 1966, Formal Definition of PL/I, IBM. Annual Review in Automatic Programming, Volume 6, Part 3, 1969, On the Formal Description of PL/I by P. Lucas and K. Walk, Pergamon Press