VDM++, a formal specification language for object-oriented designs

This publication has 4 references indexed in Scilit:

• mural: A Formal Development Support System
  Published by Springer Nature ,1991
• Issues in the design of a parallel object-oriented language
  Formal Aspects of Computing, 1989
• From modula to oberon
  Software: Practice and Experience, 1988
• Type extensions
  ACM Transactions on Programming Languages and Systems, 1988