@techreport{3850,
  title = "On the Refinement Calculus",
  author = "Carroll Morgan and Ken Robinson and Paul Gardiner",
  year = "1988",
  institution = "OUCL",
  month = "October",
  number = "PRG70",
  pages = "156",
}