Malton, Andrew J. "The Denotational Semantics of a Functional Tree-Manipulation Language" pp.157-168.

(1993) Computer Languages 19,3 (July 1993)  

Languages mentioned TXL {1985}