Path: utzoo!attcan!uunet!mcvax!enea!naggum!isncr!m2cs!frode
From: frode@m2cs.naggum.se (Frode Odegard)
Newsgroups: comp.lang.modula2
Subject: Re: Pascal dying out?
Summary: VDM? Well, read this book...
Message-ID: <107@m2cs.naggum.se>
Date: 10 Nov 88 18:32:25 GMT
References: <INFO-M2%88110812332319@UCF1VM>
Organization: Modula-2 CASE Systems A.S, Oslo, Norway
Lines: 13

In article <INFO-M2%88110812332319@UCF1VM>, ACPS2971@RYERSON.BITNET (PATRICK WINGERT) writes:
> Can someone give me information on what This VDM that the ISO commitee is using
>  is and what it can do....A referance would also be helpful.

Go read "Systematic Software Development Using VDM", by Cliff Jones (Prentice-Hall).

Also, you should all subscribe to the ISO/BSI Modula-2 papers. That'll give you
plenty of info. Contact Real-Time Associates in LONDON (+44-1-656-7333) and talk
to Steve Collins. I think it's 40 Pounds Sterling per year.

			- Frode
PS: I'm surprised there isn't a comp.lang.vdm group! Check out comp.lang.misc
    for info. on VDM.