Path: utzoo!utgpu!jarvis.csri.toronto.edu!clyde.concordia.ca!uunet!tut.cis.ohio-state.edu!ucbvax!CS.SFU.CA!rsutc From: rsutc@CS.SFU.CA (rsutc) Newsgroups: comp.lang.modula2 Subject: Re: VDM & M2 Message-ID: Date: 9 Feb 90 17:48:08 GMT Sender: daemon@ucbvax.BERKELEY.EDU Reply-To: Modula2 List Organization: The Internet Lines: 11 The spec is indeed in VDM. A copy of the spec can be ordered from MODUS. I don't have anything I can transmit to you (easily) except perhaps by faxing. Rick Sutcliffe Associate Professor \ (89-90 only) Visitor Computing Science & Mathematics \ School of Computing Science Trinity Western University \ Simon Fraser University 7600 Glover Rd., \ Burnaby, B.C. Canada V5A 1S6 Langley B.C. Canada V3A 4R9 e-mail: Rick_Sutcliffe@cc.sfu.ca OR Compuserve 76475,3406 Chair: wg13 (modula-2) Canada