Harel, David, and Dexter Kozen. “A Programming Language for the Inductive Sets, and Applications”. DAIMI Report Series 11, no. 143 (April 1, 1982). Accessed May 8, 2024. https://tidsskrift.dk/daimipb/article/view/7418.