發送短信: Вып. 48: Автоматизация синтеза дискретных автоматов; Труды Сибирского физико-технического института