1. Serge Abiteboul and Anthony Bonner. Objects and Views. In Proc. Intl. Conf. on Management of Data, pages 238–247. ACM SIGMOD, May 1991.
2. [ABD+89] Malcolm Atkinson, Frangois Bancilhon, David DeWitt, David Dittrich, David Meier, and Stanley Zdonik. The Object-Oriented Database System Manifesto. In Proc. of the 1st Int'l Conf. on Deductive and Object-Oriented Databases (DOOD), pages 40–57, Kyoto, Japan, December 1989.
3. Roland C. Backhouse. Program Construction and Verification. Prentice Hall, London, 1986.
4. Carlo Batini, Stefano Ceri, and Shamkant Navathe. Conceptual Database Design — an Entity-Relationship Approach. Benjamin/Cummings, Redwood, 1992.
5. Jay Banerjee, Won Kim, Hyoung-Joo Kim, and Henry F. Korth. Semantics and Implementation of Schema Evolution in Object-Oriented Databases. In Proc. of the ACM SIGMOD Int'l Conf. on Management of Data, pages 311–322, San Francisco, CA, May 1987. ACM Press.