Computing in systems described by equations - O'donnell, Michael (Lecture Notes in Computer Science ;, 1977)