Кибернетика и логика: Математико-логические аспекты становления идей кибернетики и развития вычислительной техники - Бирюков Б. В.; Спиркин А. Г. (Москва, Наука, 1978)