Logičeskije projektirovanije diskretnych avtomatov. Jazyki, metody, algoritmy. - Gavrilov, Michail Aleksandrovič, 1903-1979 (Nauka, 1977)