TY  - BOOK
AU  - Middelberg, Cornelis A
TI  - Logic and specification : extending VDM-SL for advanced formal specification
T2  - Computer science : research and practice
SN  - 9780412486807
CY  - London
KW  - Logic, symbolic and mathematical
KW  - Programming language -- VVSL/VDML
KW  - RDBMS interface
KW  - Software engineering
KW  - Vienna development method
N1  - Includes bibliographical references and index
ER  -