Бураков, Вадим Витальевич. 2008. Способы формальной спецификации принципов проектирования программных средств. Информационно-управляющие системы, вып. 5 (октябрь), 22-25. https://i-us.ru/index.php/ius/article/view/14783.