Fritz Henglein. A Type Algebra for SETL: Preliminary Proposal. 13 March 1987.
Click here to get the file
This site conforms to the following standards: