Reasoning about VDM developments using the VDM support tool in Mural /
Bicarregui, J. C.
Ritchie, B.
Rutherford Appleton Laboratory.
Didcot : Rutherford Appleton Laboratory,
1992.
Includes bibliographical references.
Computer software