A programming language for the inductive sets (1984)

by D Harel, D Kozen
Venue:and applications, Information and Control 63