Operating systems techniques : PROCEEDINGS OF A SEMINAR HELD AT QUEEN'S UNIVERSITIY, BELFAST, 1971. - Hoare, C.A.R (Academic Press Inc, 1972)