Go backward to Proof of Unless Relations
Go up to Top
References
- [1]
-
David A. Schmidt. Denotational Semantics -- A Methodology for Language
Development, Allyn and Bacon, Boston, MA, 1986.
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: unity2.tex,v 1.1 1996/04/15 14:38:10 schreine Exp schreine