Бураков ВВ. Способы формальной спецификации принципов проектирования программных средств. ИУС [Интернет]. 20окт.2008 [цитируется по 3май2025];(5):22-5. Available from: https://www.i-us.ru/index.php/ius/article/view/14783