@techreport{3875,
  title = "Specification and Proof in Real-Time Systems",
  author = "Jim Davies",
  year = "1991",
  institution = "OUCL",
  month = "April",
  number = "PRG93",
  pages = "208",
}