An introduction to inductive definitions, The handbook of mathematical logic (1977)

by PETER ACZEL