Одна из наиболее понятных книг по численным методам с примерами на Паскале.
Мудров А.Е. Численные методы для ПЭВМ на языках Бейсик, Фортран и Паскаль. Томск: МП “РАСКО,” 1991. 272 c.

Было бы классно её переписать с примерами на Обероне
Дарю идею.