Using VDM in an Object-Oriented Development Method for Ada Software. - Chris Chedgey; Seamus Kearney; Hans-Jürgen Kugler (VDM Europe, 1987)