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