Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!uunet!mcsun!ukc!mucs!cliff
From: cliff@cs.man.ac.uk (Cliff Jones)
Newsgroups: comp.specification
Subject: Re: Is VDM case studies book out yet?
Message-ID: <1536@m1.cs.man.ac.uk>
Date: 31 Jul 90 06:44:18 GMT
References: <10667@lindy.Stanford.EDU>
Sender: news@cs.man.ac.uk
Reply-To: cliff@cs.man.ac.uk (Cliff Jones)
Organization: Department of Computer Science, University of Manchester UK
Lines: 8


I can't remember exactly when it came out but it is definately
available here in the UK book stores - please let me know if you are
having trouble in the US and I'll chase the publisher.

In case it helps, here is the ISBN: 0-13-116088-5

cliff jones