Moller, Bernhard. <br/><br/>
Formal program development: IFIP TC2 / WG 2.1 state of the art report /ed. by Bernhard Moller, Helmut Partsch, Steve Schuman 

 - Berlin  S-V  1993 
 - 371p 
 - Lecture Notes in Computer Science .
<br/><br/><label>ISBN: </label>3540574999 
<br/><br/><label>Dewey Class. No.: </label>005.1  / N9313