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