Logičeskije metody proverki kombinacionnych avtomatov. - Skljarevič, Akiva Nuchimovič (Zinatne, 1975)