Lano, K. et al (eds) "Object-Oriented Specification in VDM++", in Object Oriented Specification Case Studies, P-H 1993.

Languages mentioned

• VDM++ {1993}