Автоматизация синтеза дискретных автоматов : [сборник статей] / Том. гос. ун-т им. В. В. Куйбышева, Проблемная лаб. счетно-решающих устройств, Каф. электронной вычислит. техники и автоматики ; [под общ. ред. А. Д. Закревского]. - Томск : Издательство Томского университета, 1966. - 227, [2] с.: рис. - ( Труды Сибирского физико-технического института при Томском государственном университете ;вып. 48: ) . URL: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000396110