D. Bjorner

• Abstract Software Specifications
• VDM '90
• Vdm'87: Vdm-A Formal Method at Work
• Formal Description of Programming Concepts (IFIP State-of-the-Art Reports) (v. 1)