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