Rudiments of [mu]-calculus - Arnold, André 1945-; Niwinski, Damian (Elsevier, 2001)
Includes bibliographical references (p. [269]-273) and index