Бураков, В. В. Способы формальной спецификации принципов проектирования программных средств. ИУС 2008, 22-25.