Occam 2 Reference Manual by C. A. R. Hoare | Menrva Books | MenrvaBooks