TY  - BOOK
TI  -  Program development by specification and transformation  the PROSPECTRA methodology, language family and system
T2  -  Lecture Notes in Computer Science (LNCS)\\Springer\
SN  -  0-387-56733-X;  3-540-56733-X
CY  -  Berlin;  Heidelberg;  New York
KW  -  lucrare de specialitate
AV  -  III 13202
ER  -