Harman, Mark (1992) Functional models of procedural programs. Doctoral thesis, Polytechnic of North London.