sean@aipna.ed.ac.uk (Sean Matthews) (05/18/88)
a while ago someone mentioned that the modula2 spec was going to be written in VDM. Where do I get some details about this thanks Se\'an Se\'an Matthews Dept. of Artificial Intelligence JANET:sean%sin@uk.ac.ed.aiva University of Edinburgh ARPA: sean%uk.ac.ed.aiva@nss.cs.ucl.ac.uk 80 South Bridge UUCP: ...!mcvax!ukc!aiva!sean EDINBURGH, EH1 1HN, Scotland