Konečnyje avtomaty : (povedenije i sintez) - Trachtenbrot, Boris Abramovič; Barzdin, Jan Martynovič (Matematičeskja logika i osnovanija matematiki, 1970)