Computing in Systems Described by Equations by Michael J. O'Donnell