Logičeskije metody proverki kombinacionnych avtomatov. - Skljarevič, Akiva Nuchimovič (Riga : Zinatne, 1975)
Záznam revízie