Embedded computation and the semantics of programs (1991)

by M Dixon