Reasoning about object systems in VTLoE (1995)

by I A Mason, C L Talcott
Venue:International Journal of Foundations of Computer Science