TY  - BOOK
AU  - Dromey,Geoff
TI  -  Program derivation : :  the development of programs from specifications 
T2  - International computer science series
SN  - 020141659X
AV  - QA76.6  D76 1989
PY  - 1989///
CY  - E.U. : 
PB  - Addison-Wesley Publishing Company, 
KW  - lemb
KW  - Programación (Computadores)
ER  -