Diagnostirovanije logičeskich schem : algoritmy modelirovanija i avtomatičeskogo sinteza testa - Ioffe, Michail Izrailevič (Moskva : Nauka, 1989)