David Wilber Stemple
-
Database theory for supporting specification-based database system development
ICSE '85 Proceedings of the 8th international conference on Software engineering
An overview of recent data base research
ACM SIGMIS Database