VDM++

An object-oriented extension of VDM-SL.

"Object-Oriented Specification in VDM++", in Object Oriented Specification Case Studies, K. Lano et al eds, Prentice-Hall 1993.