@article{102603,
  title = "CAVIAR: a case study in specification",
  author = "Flinn, Bill and S{\o}rensen, Ib Holm",
  year = "1987",
  address = "Hertfordshire, UK, UK",
  isbn = "0-13-826579-8",
  pages = "141--188",
  publisher = "Prentice Hall International (UK) Ltd.",
}