P. Barth, S. Rishiyur, and A. , Extending a Parallel, Non-strict, Functional Language with State, Functional Programming Languages and Computer Architecture -5th ACM Conference, number 523 in LNCS, pp.538-568, 1991.

N. Dershowitz and J. Jouannaud, Rewrite Systems, 1990.
DOI : 10.1016/B978-0-444-88074-1.50011-1

M. Henz, M. Mehl, M. M. Uller, T. Uller, J. Niehren et al., The Oz Handbook, 1994.

G. Erard and H. , Connuent Reductions: Abstract Properties and Applications to Term Rewriting Systems, Journal of the ACM, vol.27, issue.4, pp.797-821, 1980.

J. Launchbury, A natural semantics for lazy evaluation, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '93, pp.144-154, 1993.
DOI : 10.1145/158511.158618

J. Levy, B. Thomsen, L. Leth, and A. Giacalone, Concurrency and Functions: Evaluation and Reduction, EATOS, pages 88{106. ESPRIT, nov 1992

M. Martin, J. Uller, and . Niehren, Higher-Order Meta Programming in Oz. unpublished, 1994.

J. Niehren and G. Smolka, Functional Computation in a Calculus of Relational Abstraction and Application, 1994.

M. Odersky, A functional theory of local names, Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '94, pp.48-59, 1994.
DOI : 10.1145/174675.175187

A. Pitts and I. Stark, Observable properties of higher order functions that dynamically create local names, or: What's new?, Proceedings of the ACM SIGPLAN Workshop on State in Programming Languages, pp.31-45, 1993.
DOI : 10.1007/3-540-57182-5_8

C. Schulte and G. Smolka, Encapsulated Search in Higher-Order Concurrent Constraint Programming, Research report, DFKI, 1994.

G. Smolka, A Calculus for Higher-Order Concurrent Constraint Programming with Deep Guards, 1994.

G. Smolka, A Foundation for Concurrent Constraint Programming, CCL, 1994.

G. Smolka, M. Henz, J. , and W. Urtz, Object-Oriented Concurrent Constraint Programming in Oz, 1993.
DOI : 10.1007/978-3-642-78545-0_3