TY  - BOOK
AU  -  GUTTAG, John V.;  HORNING, James J.
TI  -  Larch  languages and tools for formal specification
T2  -  Texts and Monographs in Computer Science\\Springer\
SN  -  0-387-94006-5
CY  -  New York;  Berlin;  Heidelberg
KW  -  documentație
AV  -  III 13473
ER  -