Бабанов А. М. Методика доказательства теорем для формальной системы ERM-модели / А. М. Бабанов, А. С. Скачкова // Вестник Томского государственного университета. Управление, вычислительная техника и информатика. Томск, 2010. № 2. С. 113-123. URL: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000421162