Logičeskije projektirovanije diskretnych avtomatov. Jazyki, metody, algoritmy. - Gavrilov, Michail Aleksandrovič, 1903-1979 (Moskva : Nauka, 1977)
Záznam revízie