Mosses, P. D. “A Semantic Algebra for Binding Constructs”. DAIMI Report Series, vol. 10, no. 132, July 1982, doi:10.7146/dpb.v10i132.7407.