Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!usc!apple!uokmax!munnari.oz.au!uunet!mcsun!ukc!cam-cl!news
From: jg@cl.cam.ac.uk (Jim Grundy)
Newsgroups: comp.specification
Subject: Oxford Techreport on Refinement
Message-ID: <1990Dec12.175436.6304@cl.cam.ac.uk>
Date: 12 Dec 90 17:54:36 GMT
Sender: news@cl.cam.ac.uk (The news facility)
Reply-To: jg@cl.cam.ac.uk
Organization: Cambridge Hardware Verification Group
Lines: 9

I'm told that there exists a tech report from the PRG that is a collection
of lots of papers from various author within the PRG on the subject of 
Refinment.
Can anybody tell me the number of this report (if it does exist) and even beter
someone from Oxford tell me the details on getting hold of it.

thanx in advance

Jim