Logičeskoje projektirovanije operacionnych sistem - Shaw, A. (Mir, 1981)