The Mozart system consists of two complementary parts: first comes the Oz core language which lays the semantic foundations and whose programmatic interface is documented in “The Oz Base Environment”, then come all the extras necessary for practical programming; these are documented here.