Computing in systems described by equations - O'Donnell, Michael J., 1952- (Lecture notes in computer science, 1977)