Embedded computation and the semantics of programs. - Michael Douglas Dixon (1991)