Mosses, P.D. 1982. A Semantic Algebra for Binding Constructs. DAIMI Report Series. 10, 132 (Jul. 1982). DOI:https://doi.org/10.7146/dpb.v10i132.7407.