On the declarative and procedural semantics of deductive objectoriented systems (1995)

by G DOBBIE, R TOPOR
Venue:Journal of Intelligent Information Systems