Mosses, Peter D. “A Semantic Algebra for Binding Constructs”. DAIMI Report Series 10, no. 132 (July 1, 1982). Accessed May 9, 2024. https://tidsskrift.dk/daimipb/article/view/7407.