This document is unfortunately not available for download at the moment.
Giovanni Sommaruga (2011) Foundational theories of classical and constructive mathematics, Dordrecht, Springer.
Local constructive set theory and inductive definitions
Peter Aczel
pp. 189-207
Not implemented yet !