P. D. Mosses, “A Semantic Algebra for Binding Constructs”, DPB, vol. 10, no. 132, Jul. 1982.