P. Aczel, An introduction to inductive definitions, Handbook of Mathematical Logic, Studies in Logic and the Foundations of Mathematics 90, pp.739-201, 1977.

G. Dowek, Proofs and Algorithms: An Introduction to Logic and Computability, 2011.
DOI : 10.1007/978-0-85729-121-9

G. Dowek and Y. Jiang, On the expressive power of schemes, Information and Computation, pp.1231-1245, 2011.

P. Schroeder-heister, A natural extension of natural deduction, The Journal of Symbolic Logic, pp.1284-1300, 1984.