-A.J.M. van Gasteren: On the Shape of Mathematical Algorithms, Springer-Verlag 1990