Using VDM Within an Object-Oriented Framework.

Published in: Formal Methods in Databases and Software Engineering (1992)