@techreport{RR-04-06,
  title = "A continuous domain of classical states",
  author = "Keye Martin",
  year = "2004",
  institution = "Oxford University Computing Laboratory",
  month = "April",
  number = "RR-04-06",
}