Proof in VDM: case studies - Bicarregui, Juan C. (Formal approaches to computing and information technology, 1998)