See http://www.mozart-oz.org/ for more information about Oz and the Mozart Programming System.
A book entitled, "Concepts, Techniques, and Models of Computer Programming" ( http://www.info.ucl.ac.be/people/PVR/book.html ) uses Oz for its examples.