A Logic-Based Approach to System Modeling - Rich, Anthony; Solomon, Marvin H (University of Wisconsin-Madison Department of Computer Sciences, 1990)