A topological framework for program semantics - Rewitzky, Ingrid Moira (Thesis reprints / Department of Mathematics and Applied Matematics, University of Cape Town ;, 1996)