1. Aczel, P.: A general Church-Rosser theorem. unpublished note, see [20] (1978)
2. Barthe, G., et al.: Pure Patterns Type Systems. In: POPL 2003, ACM, New York (2003)
3. Breazu-Tannen, V., Kesner, D., Puel, L.: A Typed Pattern Calculus. In: Proceedings, Eighth Annual IEEE Symposium on Logic in Computer Science, Montreal, Canada, pp. 262–274. IEEE Computer Society Press, Los Alamitos (1993)
4. Cirstea, H., Kirchner, C.: Combining Higher-Order and First-Order Computation Using ρ-calculus: Towards a semantics of ELAN. In: Gabbay, D., de Rijke, M. (eds.) Frontiers of Combining Systems 2, October 1998, pp. 95–120. Wiley, Chichester (1999)
5. Cirstea, H., Kirchner, C.: The rewriting calculus — Part I and II. Logic Journal of the Interest Group in Pure and Applied Logics 9, 427–498 (2001)