Konečnyje avtomaty : (povedenije i sintez) - Trachtenbrot, Boris Abramovič (Nauka, 1970)