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