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