Database Theory for Supporting Specification-Based Database Systems Development

@inproceedings{Stemple-Sheard:ICSE85,
  author    = {David W. Stemple and
               Tim Sheard},
  title     = {Database Theory for Supporting {Specification-Based} Database Systems Development},
  booktitle = {ICSE},
  pages     = {43--49},
  publisher = {{IEEE} Computer Society},
  year      = {1985},
}