1. P. Aczel: An Introduction to Inductive Definitions. The Handbook of Mathematical Logic, J. Barwise ed., North-Holland, (1992) 739–782
2. L. Augustsson: Compiling Pattern Matching. In J.P. Jouannaud, ed., Conference on Functional Programming Languages and Computer Architecture (LNCS 201), pages, 368–381, Nancy, France, 1985.
3. K. Clark: Negation as Failure. Logic and Databases, Ed.H. Gallaire, J.Minker. Plenum Press New York, pp.293–322, 1978.
4. T. Coquand: Pattern Matching with Dependent Types. Informal Proceedings Types for Proofs and Programs, June 1992.
5. T. Coquand, J.M.Smith: What is the status of pattern matching in type theory. El Wintermöte, pp.112–114, June 1993.