Choo, Young-il (1987) Logic from programming language semantics. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-02282008-111427