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