An introduction to inductive definitions. In: Handbook of mathematical logic (1977)

by P Aczel
Venue:Jerome Keisler, Kenneth Kunen, Yiannis Nikolas Moschovakis and Anne Sjerp Troelstra, Studies in Logic and the Foundations of Mathematics