The DFKI Oz Documentation Series currently consists of 10 documents offering more than 600 pages of tutorial and defining material. The document
is a tutorial introduction to Oz. The document is a mainly tutorial presentation of constraint programming in Oz. The document covers advanced programming techniques, excluding constraint programming. The documents concern issues related to DFKI Oz. The document describes a collection of selected demos coming with DFKI Oz. The official language definition consists of three documents defining the semantics, the syntax, and the predefined functionality of Oz, respectively.There are many research papers on issues related to Oz. The articles A foundation for higher-order concurrent constraint programming and A calculus for higher-order concurrent constraint programming with deep guards [14,12] concern the computation model underlying Oz. The main ideas behind objects in Oz are discussed in Object-oriented concurrent constraint programming in Oz [4]. Oz's higher-order search combinator is introduced in Encapsulated search and constraint programming in Oz and Encapsulated search in higher-order concurrent constraint programming [11,10]. The article Records for logic programming [16] concerns logic records as used in Oz.
The DFKI Oz Documentation Series and many related research papers are available by anonymous ftp from ps-ftp.dfki.uni-saarland.de, or through the WWW from http://ps-www.dfki.uni-saarland.de/.