@techreport{RR-04-21,
  title = "Investigations on the Dual Calculus",
  author = "Nikos Tzevelekos",
  year = "2004",
  institution = "Oxford University Computing Laboratory",
  month = "November",
  number = "RR-04-21",
}