Теория машин автоматического действия (Наука, 1970)