Text this: Diagnostirovanije logičeskich schem. Algoritmy modelirovanija i avtomatičeskogo sinteza testa /