An extensible encoding of object-oriented data models in HOL (0)

by A D Brucker, B Wolff
Venue:Journal of Automated Reasoning