Using VDM with Rely and Guarantee-Conditions - Experiences from a Real Project. - Jim Woodcock 001; B. Dickinson (VDM Europe, 1988)