TY  - BOOK
AU  - Dromey,Geoff
TI  - Program derivation: the development of programs from specifications 
T2  - International computer science series
SN  - 0201416247
U1  - 005.1 
PY  - 1989///
CY  - Sydney, Wokingham, England
PB  - Addison -Wealey
KW  - Microsoft Windows (Computer file)
ER  -