> Dines Bjorner
author : Dines Bjorner
VDM '90: VDM and Z - Formal Methods in Software Development
C. A. R. Hoare
Scheduling and Rescheduling of Trains. 1999.
Industrial-Strength Formal Methods in Practice
Domain modelling. 2000.
Millennial Perspectives in Computer Science
"What is a method?" -- an essay on some aspects of domain engineering. 2003.