1. The pfort verifier
2. American National Standard Fortran, American National Standards Institute, New York, 1966.
3. ‘Workshop on Fortran preprocessors for numerical software’, Pasadena, Calif., Nov. 1974.
4. ‘C Reference Manual’, Bell Labs. internal memorandum, 1974.
5. The UNIX time-sharing system