Middelberg, Cornelis A <br/><br/>
Logic and specification : extending VDM-SL for advanced formal specification 

 - London  Chapman and Hall Computing  1993 
 - xi, 404p.  
 - Computer science : research and practice .
<br/><br/> Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>9780412486807 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, symbolic and mathematical <br/>Programming language -- VVSL/VDML <br/>RDBMS interface <br/>Software engineering<br/>Vienna development method