Program development by specification and transformation  the PROSPECTRA methodology, language family and system 
eds. Berthold Hoffmann, Brnd Krieg-Brckner 
 - Berlin;  Heidelberg;  New York   Springer  1993 
 - xv, 623 p. ; 23 cm 
 - Lecture Notes in Computer Science (LNCS)\\Springer\  680 .
<br/><br/><label>ISBN: </label>0-387-56733-X;  3-540-56733-X 
<br/><br/><label>Source: </label>C-182483 
<br/><br/><label>Index Terms--Genre/Form: </label><br/> lucrare de specialitate
<br/><br/><label>Universal Decimal Class. No.: </label>4.415