TY  - BOOK
AU  - Jones C B
TI  - Mural : a formal development supprot system
U1  - 005.1 
PY  - 1991///
CY  - London
PB  - Springer Verlag
KW  - Computer programming
ER  -