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