Шелупанов, А. А.; Смолина, А. Р. Формальные основы системы поддержки формирования частных методик производства компьютерно-технической экспертизы. ИУС 2017, 99-104.