Computing in systems described by equations - O'Donnell, Michael J. (Springer-Verlag, 1977)