Formal methods fact file : VDM and Z /
Harry, Andrew.
Chichester : Wiley,
1996.
Includes bibliographical references and index
Computer software