Skijarevič, A. N. (1979). Osnovy logičeskich metodov proverki avtomatov. Zinatne.
Chicago Style (17th ed.) CitationSkijarevič, Akiva Nuchimovič. Osnovy Logičeskich Metodov Proverki Avtomatov. Riga: Zinatne, 1979.
MLA (9th ed.) CitationSkijarevič, Akiva Nuchimovič. Osnovy Logičeskich Metodov Proverki Avtomatov. Zinatne, 1979.
Warning: These citations may not always be 100% accurate.