An Annotated Bibliography on Object-Orientation and Deduction.

http://doi.acm.org/10.1145/130868.130885 Stefan Conrad Martin Gogolla An Annotated Bibliography on Object-Orientation and Deduction. 123-132 sigmodR/21-1/P123.pdf 1992 21 SIGMOD Record 1 db/journals/sigmod/sigmod21.html#ConradG92