An introduction to inductive definitions (1977)

by Peter Aczel
Venue:Handbook of Mathematical Logic