A topological framework for program semantics - Rewitzky, Ingrid Moira (University, 1996)
Dokt. disert., Univ. of Cape Town, 1995