Computing in systems described by equations. - O'donnell, Michael (Berlin : Springer Verlag, 1977)