Оценка качества и исследование программных продуктов: языково - ориентированный подход. Язык спецификации требований к качеству программных средств: формальное определениеКоган, Борис Исаакович199945 с.