POL: Persistent Objects with Logic - Adams, Paul; Solomon, Marvin H (University of Wisconsin-Madison Department of Computer Sciences, 1993)