@techreport{3887,
  title = "QUALIFIED TYPES: THEORY AND PRACTICE",
  author = "Mark Philip Jones",
  year = "1992",
  institution = "OUCL",
  month = "July",
  number = "PRG106",
  pages = "188",
}