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