the formal definitions put forward so far have inspired wonder at their elegance and confidence in their precision | Предлагавшиеся до сих пор формальные определения вызывали восхищение своей элегантностью и уверенность в их точности (см. Frederic P. Brooks, Jr. THE MYTHICAL MAN-MONTH Essays on Software Engineering) |