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