An introduction to inductive definitions (1977)

by P Aczel
Venue:In Handbook of Mathematical Logic