References

1

AT&T Bell Laboratories. The Standard ML of New Jersey Library Reference Manual, February 1993. Release 0.1.

2

Martin Henz. The Oz notation. DFKI Oz documentation series, German Research Center for Artificial Intelligence (DFKI), Stuhlsatzenhausweg 3, D-66123 Saarbrücken, Germany, 1994.

3

Martin Henz and Martin Müller. Programming in Oz. DFKI Oz documentation series, German Research Center for Artificial Intelligence (DFKI), Stuhlsatzenhausweg 3, D-66123 Saarbrücken, Germany, 1994.

4

P. Hudak, S. Peyton-Jones, and P. Wadler. Report on the Programming Language HASKELL: A Non-Strict, Purely Functional Language. Technical report, Yale University, March 1992. Version 1.2.

5

Sverker Janson, Johan Montelius, and Seif Haridi. Ports for objects. In Research Directions in Concurrent Object-Oriented Programming. The MIT Press, Cambridge, Mass., 1993.

6

Brian W. Kernighan and Dennis M. Ritchie. The C Programming Language. Prentice--Hall International, second edition, 1988.

7

Michael Mehl. Window programming in DFKI Oz. DFKI Oz documentation series, German Research Center for Artificial Intelligence (DFKI), Stuhlsatzenhausweg 3, D-66123 Saarbrücken, Germany, 1994.

8

Michael Mehl, Tobias Müller, Konstantin Popow, and Ralf Scheidhauer. DFKI Oz user's manual. DFKI Oz documentation series, German Research Center for Artificial Intelligence (DFKI), Stuhlsatzenhausweg 3, D-66123 Saarbrücken, Germany, 1994.

9

Tobias Müller, Konstantin Popow, Christian Schulte, and Jörg Würtz. Constraint programming in Oz. DFKI Oz documentation series, German Research Center for Artificial Intelligence (DFKI), Stuhlsatzenhausweg 3, D-66123 Saarbrücken, Germany, 1994.

10

Christian Schulte. Open programming in DFKI Oz. DFKI Oz documentation series, German Research Center for Artificial Intelligence (DFKI), Stuhlsatzenhausweg 3, D-66123 Saarbrücken, Germany, 1994.

11

Gert Smolka. The definition of Kernel Oz. DFKI Oz documentation series, German Research Center for Artificial Intelligence (DFKI), Stuhlsatzenhausweg 3, D-66123 Saarbrücken, Germany, November 1994.

12

Gert Smolka. An Oz primer. DFKI Oz documentation series, German Research Center for Artificial Intelligence (DFKI), Stuhlsatzenhausweg 3, D-66123 Saarbrücken, Germany, 1995.

13

Pascal Van Hentenryck and Yves Deville. The cardinality operator: A new logical connective for constraint logic programming. Report CS-90-24, Brown University, November 1990.