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