Andrew J. Malton The Denotational Semantics of a Functional Tree-Manipulation Language. 157-168 1993 19 Comput. Lang. 3 db/journals/cl/cl19.html#Malton93