Harel, D. and Kozen, D. (1982) “A Programming Language for the Inductive Sets, and Applications”, DAIMI Report Series, 11(143). doi: 10.7146/dpb.v11i143.7418.