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