@techreport{3829,
  title = "CAVIAR: A Case Study in Specification",
  author = "Bill Flinn and Ib Holm Sorensen",
  year = "1985",
  institution = "OUCL",
  month = "June",
  number = "PRG48",
  pages = "47",
}