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