Article View: comp.specification
Article #305Re: Tech Reports from Oxford PRG
From: Jim Grundy
Date: Thu, 20 Dec 1990 11:54
Date: Thu, 20 Dec 1990 11:54
29 lines
1738 bytes
1738 bytes
> 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
Technical Details
Message-ID:
<1990Dec20.115408.1662@cl.cam.ac.uk>Path:
arc1-ca.pugleaf.net!utzoo!attcan!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!uunet!mcsun!ukc!cam-cl!newsReferences:
<14933@ogicse.ogi.edu>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!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