Title: VDM '87. VDM - A Formal Method at Work