БУРАКОВ, В. В. Способы формальной спецификации принципов проектирования программных средств. Информационно-управляющие системы, n. 5, p. 22-25, 20 out. 2008.