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