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