Osnovy logičeskich metodov proverki avtomatov. - Skljarevič, Akiva Nuchimovič (Zinatne, 1979)