Errata

On page 65, example 3.1.1, in order to be a Z list, the program [1,2,1] should be <1,2,1>.

On page 80, all three occurrences of $c \limg T \rimg$ should be replaced by
$T \limg \{ c \} \rimg$.