Middelburg, C. A. (1993). Logic and specification: Extending VDM-SL for advanced formal specification. Chapman & Hall.
Citación estilo ChicagoMiddelburg, Cornelis A. Logic and Specification: Extending VDM-SL for Advanced Formal Specification. London: Chapman & Hall, 1993.
Cita MLAMiddelburg, Cornelis A. Logic and Specification: Extending VDM-SL for Advanced Formal Specification. Chapman & Hall, 1993.
Warning: These citations may not always be 100% accurate.