TY  - BOOK
AU  - JONES,C.B, JONES,K.D, LINDSAY,P.A, MOORE,R
TI  - MURAL: A FORMAL DEVELOPMENT SUPPORT SYSTEM
SN  - KBCS
U1  - 500 
PY  - 1991///
CY  - LONDON
PB  - SV
N1  - BR-1117
ER  -