БабкинЭ., БузуеваА., и ЛогвиноваК., «Метод определения противоречий в DEMO-моделях бизнес-процессов», Business Informatics, т. 8, вып. 2, сс. 33-43, фев. 2014.