Formal Specification And Documentation Using Z : Case Study Approach - Bowen (Jonathan) (1996)
20