Logičeskoe proektirovanie operacionnyh sistem - Šou, A. (Mir, 1981)