References
- Naur , P. 1963 . Revised Report on the Algorithmic Language ALGOL 60 . Comm. ACM , 6 Jan : 1 – 17 .
- Van Wijngaarden , A. 1963 . Generalized ALGOL . Annual Review of Automatic Programming , 3 : 17 – 26 .
- Feldman , Jerome . 1966 . A Formal Semantics for Computer Languages and its Application in a Compiler-Compiler . Comm. ACM , 9 ( 1 ) Jan : 3 – 9 .
- Wirth , N. and Weber , H. 1966 . EULER: A Generalization of ALGOL, and its Formal Definition . Comm. ACM , 9 Jan-Feb : 13 – 25 . 89-99
- Mccarthy , J. 1962 . “ Towards a Mathematical Science of Computation ” . In Information Processing , Edited by: Popplewell , C.M. 21 – 28 . Amsterdam : North-Holland . Proc, of IFIP Congress 62
- Elgot , C.C. and Robinson , A. 1964 . Random-Access Stored-Program Computers, An Approach to Programming Languages . J. A CM , 11 ( 4 ) October : 365 – 399 .
- Maurer , W.D. 1966 . A Theory of Computer Instructions . J. ACM , 13 ( 2 ) April : 226 – 235 .
- King , J.C. September 1969 . “ A Program Verifier ” . September , Carnegie-Mellon University . Ph.D. Thesis, Department of Computer Science
- Good , D.I. 1970 . “ Toward a Man-Machine System for Proving Program Correctness ” . University of Wisconsin . Ph.D. Thesis, Computer Science Department
- Knuth , D.E. 1968 . Semantics of Context-Free Languages . Math. Systems Theory , 2 ( 2 ) June : 127 – 145 .
- Knuth , D.E. 1971 . Semantics of Context-Free Languages–Correction . Math. Systems Theory , 2 ( 2 ) Jan : 95 – 96 .
- Floyd , R.W. Assigning Meanings to Programs . Proc. Symp. Applied Math. Vol. 19 , pp. 19 – 32 . Providence , RI : American Mathematical Society .