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