Practical formal methods with VDM /
Andrews, Derek.
Ince, Darrel.
London : McGraw-Hill,
c1991.
Includes index