Logičeskoe proektirovanie sbis - Pospelov, L. V. (Mir - Moskva, 1988)