.SH References .IP [1] B. G. Ryder, ``The PFORT Verifier,'' .ul Software_Practice & Experience, October 1974. .IP [2] American National Standard Fortran. American National Standards Institute, New York, 1966. .IP [3] .ul For-word: Fortran Development Newsletter, August 1975. .IP [4] B. W. Kernighan and D. M. Ritchie, .ul The C Programming Language, Prentice-Hall, Inc., 1978. .IP [5] D. M. Ritchie and K. L. Thompson, ``The UNIX Time-sharing System.'' \fICACM\fP, July 1974. .IP [6] S. C. Johnson, ``YACC _ Yet Another Compiler-Compiler.'' Bell Laboratories Computing Science Technical Report #32, 1978. .IP [7] D. E. Knuth, ``Structured Programming with goto Statements.'' \fIComputing Surveys\fP, December 1974. .IP [8] B. W. Kernighan and P. J. Plauger, .ul Software Tools, Addison-Wesley, 1976. .IP [9] B. S. Baker, ``Struct _ A Program which Structures Fortran'', Bell Laboratories internal memorandum, December 1975. .IP [10] A. D. Hall, ``The Altran System for Rational Function Manipulation _ A Survey.'' \fICACM\fP, August 1971.