Michael N. Condict. The Denotational Semantics of SETL. 9 June 1983.
Click here to get the file
This site conforms to the following standards: