Choo, Young-il (1987) Logic from Programming Language Semantics. Dissertation (Ph.D.), California Institute of Technology. https://resolver.caltech.edu/CaltechETD:etd-02282008-111427