Path: utzoo!attcan!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!uunet!mcsun!ukc!cam-cl!news
From: jg@cl.cam.ac.uk (Jim Grundy)
Newsgroups: comp.specification
Subject: Re: Tech Reports from Oxford PRG
Message-ID: <1990Dec20.115408.1662@cl.cam.ac.uk>
Date: 20 Dec 90 11:54:08 GMT
References: <14933@ogicse.ogi.edu>
Sender: news@cl.cam.ac.uk (The news facility)
Reply-To: jg@cl.cam.ac.uk
Organization: Cambridge Hardware Verification Group
Lines: 29

> In article <1990Dec12.175436.6304@cl.cam.ac.uk> jg@cl.cam.ac.uk (Jim Grundy)
> writes:
> 
> > I'm told that there exists a tech report from the PRG ... 
> > ...
> > Can anybody ... from Oxford tell me the details on getting hold of it.
> 
> This strikes a chord with me ... I have had a terrible time ordering
> papers from the Oxford PRG. Absolutely no responses to request letters from
> my department. My only successes have come from contacting the authors
> directly. What is the difficulty here and how are technical reports to be
> ordered from this group without bothering/pestering their research people?
> 
> - Dwight Spencer

Well since I went hunting for this techreport I have also found another 
PRG report I wanted.  In between now and then I grabed the zed.sty stuff
of the oxford archive server and had a play around with the server.
It sent me the most helpfull message.

   If you would like information about Programming Research Group
   monographs and technical reports (including many related to Z), please
   e-mail our librarian on <library@prg.oxford.ac.uk> or telephone him on
   +44-865-273837.

I did this and the guy on the other end of that address was most helpfull
and sent me the techreport I was after.

Jim