Osnovy logičeskich metodov proverki avtomatov - Skijarevič, Akiva Nuchimovič (rz1, 1979)