| 1 | .SH |
| 2 | References |
| 3 | .IP [1] |
| 4 | B. G. Ryder, |
| 5 | ``The PFORT Verifier,'' |
| 6 | .ul |
| 7 | Software_Practice & Experience, |
| 8 | October 1974. |
| 9 | .IP [2] |
| 10 | American National Standard Fortran. |
| 11 | American National Standards Institute, |
| 12 | New York, 1966. |
| 13 | .IP [3] |
| 14 | .ul |
| 15 | For-word: Fortran Development Newsletter, |
| 16 | August 1975. |
| 17 | .IP [4] |
| 18 | B. W. Kernighan and D. M. Ritchie, |
| 19 | .ul |
| 20 | The C Programming Language, |
| 21 | Prentice-Hall, Inc., 1978. |
| 22 | .IP [5] |
| 23 | D. M. Ritchie and K. L. Thompson, |
| 24 | ``The UNIX Time-sharing System.'' |
| 25 | \fICACM\fP, July 1974. |
| 26 | .IP [6] |
| 27 | S. C. Johnson, |
| 28 | ``YACC _ Yet Another Compiler-Compiler.'' |
| 29 | Bell Laboratories Computing Science Technical Report #32, |
| 30 | 1978. |
| 31 | .IP [7] |
| 32 | D. E. Knuth, |
| 33 | ``Structured Programming with goto Statements.'' |
| 34 | \fIComputing Surveys\fP, December 1974. |
| 35 | .IP [8] |
| 36 | B. W. Kernighan and P. J. Plauger, |
| 37 | .ul |
| 38 | Software Tools, |
| 39 | Addison-Wesley, 1976. |
| 40 | .IP [9] |
| 41 | B. S. Baker, |
| 42 | ``Struct _ A Program which Structures Fortran'', |
| 43 | Bell Laboratories internal memorandum, December 1975. |
| 44 | .IP [10] |
| 45 | A. D. Hall, |
| 46 | ``The Altran System for Rational Function Manipulation _ |
| 47 | A Survey.'' |
| 48 | \fICACM\fP, August 1971. |