@techreport{oqlReport00,
  title = "Towards a Formal Type System for ODMG OQL",
  author = "Gavin Bierman and Niki Trigoni",
  year = "2000",
  institution = "University of Cambridge, Computer Laboratory",
  month = "October",
  number = "TR 497",
}