VDM '91 Formal Software development methods   
ed by S Prehn and W J Toetenel 
 - New York  Springer Verlag  xii, 698p. 
 - Lecture Notes in Computer Science  551 .
<br/><br/><label>ISBN: </label>0387548343 
<br/><br/><label>Dewey Class. No.: </label>005.3  / N91