E. Laenens;D. Vermeir
-;-
An annotated bibliography on object-orientation and deduction
ACM SIGMOD Record