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