Подходы к программированию на Oberon
Использование ASSERT для проверки корректности
Обобщённые модули в стандартном Oberon