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