[comp.lang.modula2] VDM Modula-2 specification & MODUS address.

collberg@dna.lth.se (Christian S. Collberg) (03/13/90)

I've been trying to get a copy of the VDM Modula-2 standard.
Someone on the net wrote that it could be obtained through MODUS,
but my letter (sent to Postfach 289, CH-8025 Zu\"rich, Switzerland)
came back with a "Return to sender, address unknown" (good name for
a song (-: ). 

Does anyone have the current MODUS address?
Does anyone know where I can get a (preferably machine
readable) copy of the VDM specification for Modula-2?

Thanks
Chris Collberg
collberg@dna.lth.se