GUTTAG, John V.;  HORNING, James J. <br/><br/>
Larch  languages and tools for formal specification 
John V. Guttag, James J. Horning 
 - New York;  Berlin;  Heidelberg   Springer\-\\Verlag  1993 
 - XIV, 250 p. ; 24 cm 
 - Texts and Monographs in Computer Science\\Springer\ .
<br/><br/><label>ISBN: </label>0-387-94006-5 
<br/><br/><label>Source: </label>C-182751 
<br/><br/><label>Index Terms--Genre/Form: </label><br/> documentație
<br/><br/><label>Universal Decimal Class. No.: </label>519.6