Andreas Heuer;Peter Sander
-;-
An annotated bibliography on object-orientation and deduction
ACM SIGMOD Record