@inproceedings{DBLP:conf/vldb/GolshaniMS83,
  author    = {Forouzan Golshani and
               T. S. E. Maibaum and
               M. R. Sadler},
  title     = {A Modal System of Algebras for Database Specification and
               Query/Update Language Support},
  booktitle = {VLDB},
  year      = {1983},
  pages     = {331-339},
  ee        = {http://www.vldb.org/conf/1983/P331.PDF},
  crossref  = {DBLP:conf/vldb/83},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/vldb/83,
  editor    = {Mario Schkolnick and
               Costantino Thanos},
  title     = {9th International Conference on Very Large Data Bases, October
               31 - November 2, 1983, Florence, Italy, Proceedings},
  publisher = {Morgan Kaufmann},
  year      = {1983},
  isbn      = {0-934613-15-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}