A programming language for the inductive sets, and applications (1984)

by David Harel, Dexter Kozen
Venue:Information and Control