References
- Ashcroft , E.A. and Wadge , W.W. 1976 . Lucid, a formal system for writing and proving programs . SIAM J. on Computing , 5 ( 3 ) : 336 – 354 .
- Ashcroft , E.A. and Wadge , W.W. 1977 . Lucid, a non-procedural language with iteration . Comm. ACM , 20 ( 7 ) : 519 – 526 .
- Cargill , T.A. Deterministic operational semantics of lucid , University of Waterloo . Research Report CS-76-19,Dept. of Computer Science
- Culik , K. II . A model for the formal definition of programming languages . Intern. J.Computer Mathematics , 3 315 – 345 . Section A
- Culik , K. II and Farah , M. Linked forest manipulation systems, a tool for computational semantics , Universityof Waterloo . Research Report CS-77-18,Dept. of Computer Science
- Farah , M. A formal description of ALTRAN using linked forest manipulation systems , University of Waterloo . Research Report CS-73-08,Dept. of Computer Science
- Farah , M. June 1978 . Correctness of a lucid interpreter based on linked forest manipulationsystems , June , University of Waterloo . Research Report C7-78-07
- Manna , Z. 1974 . Introduction to Mathematical Theory of Computation , McGraw-Hill .
- Zoltan , A.C. A formal definition of ALGOL 60 using linked forest manipulation systems Research Report CSRR-1012,Dept. of Computer Science