@inproceedings{92611,
  title = "CAVIAR: a case study in specification",
  author = "Flinn, B. and S{\o}rensen, I. H.",
  year = "1986",
  address = "New York, NY, USA",
  booktitle = "Papers from three IBM computer science symposia on Application development systems: the inside story of multinational product development",
  isbn = "0-387-70017-X",
  pages = "126--164",
  publisher = "Springer-Verlag New York, Inc.",
}