Logičeskoe proektirovanie diskretnyh avtomatov : JAZYKI, METODY, ALGORITMY - Gavrilov, Mihail Aleksandrovič (Nauka - Moskva, 1977)