Konečnyje avtomaty : (povedenije i sintez) - Trachtenbrot, Boris Abramovič; Barzdin, Jan Martynovič (Moskva : Nauka, 1970)