Tupailo, n.d.. Monotone inductive definitions and consistency of New Foundations, in: Dimitracopoulos, Newelski, Normann, Steel (Eds.), . Cambridge University Press.. https://doi.org/10.1017/cbo9780511546464.016