Logic and Specification: Extending Vdm-Sl for Advanced Formal Specification (Computer Science : Research and Practice)

de Cornelis A. Middelburg