[comp.specification] Oxford Techreport on Refinement

jg@cl.cam.ac.uk (Jim Grundy) (12/13/90)

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