Prikladnaja teorija cifrovych avtomatov : učebnik dlja vuzov po special´nosti EVM - Savel´jev, Aleksandr Jakovlevič (Vysšaja škola, 1987)