Шерстюк и Мусаев, Информационное хранилище в автоматизированной системе испытаний и верификации математических моделей, ТС, вып. 4, сс. 163-170, авг. 2007.