Kock, Anders. “The Constructive Lift Monad”. BRICS Report Series 2, no. 20 (January 20, 1995). Accessed December 5, 2025. https://tidsskrift.dk/brics/article/view/19922.