1. Aczel, P.: An Introduction to Inductive Definitions. In: Barwise, J. (ed.) Handbook of Mathematical Logic, pp. 739–782. Elsevier, Amsterdam (1977)
2. Lecture Notes in Computer Science;B.E. Aydemir,2005
3. Aydemir, B.E., Charguéraud, A., Pierce, B.C., Pollack, R., Weirich, S.: Engineering formal metatheory. In: Necula, G.C., Wadler, P. (eds.) Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, San Francisco, California, USA, January 7-12, 2008, pp. 3–15. ACM Press, New York (2008)
4. Lecture Notes in Computer Science;C. Cornes,1996
5. Lecture Notes in Computer Science;C. McBride,1998