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