«Мы хотели не только дать совет, как может создаваться система, но и показать, как она была создана. В связи с этим ключевую роль в книге играют тексты программ: только они содержат окончательные объяснения. По этой причине выбору удобного формализма придавалась особая важность: мы разрабатывали язык Оберон не только как эффективный инструмент реализации, но и как средство публикации алгоритмов. Благодаря своей структуре, язык Оберон удобен для отображения глобальной модульной структуры любой...