Mosses, P. D. A Semantic Algebra for Binding Constructs. DPB 1982, 10.