Formal methods fact file : VDM and Z. - Harry, Andrew (John Wiley & Sons, Inc, 1996)