Спицына Н.В. Синтез тестов для проверки взаимодействия дискретных управляющих систем методами теории автоматов : автореф. дис. .. канд. техн. наук: 05.13.01 / Н. В. Спицына, 2005. - 22 с. - Текст : непосредственный.