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