Generalized Equations - Robinson, Stephen M. (University of Wisconsin-Madison Department of Computer Sciences, 1982)