Hoffman, Berthold. <br/><br/>
Program development by specification & transformation: the prospectra methodology, language family & system /ed. by Berthold Hoffman,.. 

 - Berlin  S-V  1993 
 - xiv, 623p 
 - Lecture Notes in Computer Science .
<br/><br/><label>ISBN: </label>354056733X 
<br/><br/><label>Dewey Class. No.: </label>005.1  / N9316