A logic for programming with complex objects (1993)

by M Kifer, J Wu
Venue:Journal of Computer and System Sciences