A Programming Language for the Inductive Sets, and Applications.

David Harel Dexter Kozen A Programming Language for the Inductive Sets, and Applications. 313-329 1982 conf/icalp/1982 ICALP db/conf/icalp/icalp82.html#HarelK82 http://dx.doi.org/10.1007/BFb0012779