Between functions and relations in calculating programs

Graham Hutton. Between functions and relations in calculating programs. PhD thesis, University of Glasgow, UK, 1992. [doi]

Abstract

Abstract is missing.