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