Автоматизированное проектирование проверяющих тест-программ для специализированных ЦВМДанильченко, В. А., 1972, кандидатская диссертацияСвердловск20 стр.