Formal software development methods 4th international symposium of VDM Europe, Noordwijkerhout , The Netherlands, October 21 - 25, 1991 ; proceedings