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