DIAGNOSTIROVANIJE LOGIČESKICH SCHEM. ALGORITMY MODELIROVANIJA I AVTOMATIČESKOGO SINTEZA TESTA - Ioffe, Michail Izrailevič (Nauka, 1989)