Zu Concepts, Techniques, and Models of Computer Programming von Peter van Roy und Seif Haridi gehört das äusserst nützliche Wiki.

Vor ein paar Tagen ist Alice 1.1 veröffentlicht worden (1.1: die Kraftwerk "Eval Your Own Album" Edition), eine funktionale Programmiersprache, die auf Standard ML basiert, jedoch mit features im Bereich des Concurrent Programming erweitert wurde. Alice zeigt sich eng verwandt mit Mozart/Oz, deshalb lässt sich das CTM-Buch ohne weiteres auch mit Alice durcharbeiten (Hier kam jemand schon auf diese Idee). Alice auf Debian ist schlicht ein Traum. Noch nicht ganz ausgereift ist die OS X-Version.

Es ist sehr einfach, Mozart (Version 1.3.1) unter OS X zu installieren: Hier gibt es die drei entsprechenden downloads bzw. installers.
Oz ist dann in /usr/local/oz zu finden. Die bash PATH Variable sollte /usr/local/bin/oz enthalten (allenfalls in bash_profile hinzufügen). Zudem sind in der Emacs-Konfigurationsdatei folgende Zeilen anzufügen:
(add-to-list 'load-path "/usr/local/oz/share/elisp")
(require 'oz)

Gibt man im Terminal den Befehl "oz" ein, startet dann ein Emacs, das bereits mit dem Mozart Compiler verbunden ist. Wer mit dem Carbon port von Gnu Emacs arbeitet (oder einer anderen Version) kann zuerst auch Emacs starten, mit "M-x oz-mode" in den Oz Mode wechseln und dann vom Oz Menu aus den Compiler starten.
Das beste an Einführungen findet sich meiner Ansicht nach auf der Supplement-Seite zum Buch.

Ich lerne Mozart/Oz. Das hochgelobte Buch dazu ist unterwegs.