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