Mural : a formal development support system /
Jones, C. B.(Cliff B.),1944-
London : Springer-Verlag,
1991.
Includes bibliography