"A Programming Language for the Inductive Sets, and Applications."

David Harel, Dexter Kozen (1982)
a service of Schloss Dagstuhl - Leibniz Center for Informatics