David Harel, Dexter Kozen. A Programming Language for the Inductive Sets, and Applications. In Mogens Nielsen, Erik Meineche Schmidt, editors, Automata, Languages and Programming, 9th Colloquium, Aarhus, Denmark, July 12-16, 1982, Proceedings. Volume 140 of Lecture Notes in Computer Science, pages 313-329, Springer, 1982.
Abstract is missing.