-M. J. 0'Donnell: Computing in Systems Described by Equations, Springer-Verlag 1977