\begin{thebibliography}{10}

\bibitem{Abri74}
J.-R. Abrial.
\newblock Data semantics.
\newblock In J.W. Klimbie and K.L. Koffeman, editors, {\em Data-Base
  Management}. North-Holland, Amsterdam, 1974.

\bibitem{ACO85}
A.~Albano, L.~Cardelli, and Orsini R.
\newblock Galileo: A strongly-typed, interactive conceptual language.
\newblock {\em ACM Transactions on Database Systems}, 10(2):230--260, 1985.

\bibitem{ACC81a}
M.P. Atkinson, K.J. Chisholm, and W.P. Cockshott.
\newblock {PS-algol}: An algol with a persistent heap.
\newblock {\em ACM SIGPLAN Notices}, 17(7), July 1981.

\bibitem{Beer90}
C.~Beeri.
\newblock A formal approach to object-oriented databases.
\newblock {\em Data and Knowledge Engineering}, 5:352--382, 1990.

\bibitem{Beer92a}
C.~Beeri.
\newblock New data models and languages -- the challenge.
\newblock In {\em Proceedings of the Eleventh ACM SIGACT-SIGMOD-SIGART
  Symposium on Principles of Database Systems}, 1992.

\bibitem{BMS93}
A.~Borgida, J.~Mylopoulos, and J.~Schmidt.
\newblock The {TaxisDL} software description language.
\newblock In M.~Jarke, editor, {\em Database Application Engineering with
  {DAIDA}}, pages 65--84. Springer-Verlag, 1993.

\bibitem{BDRZ83}
R.P. Br{\"a}gger, A.~Dudler, J.~Rebsamen, and C.A. Zehnder.
\newblock Gambit: An interactive database design tool for data structures,
  integrity constraints and transactions.
\newblock In C.A. Zehnder, editor, {\em Database Techniques for Professional
  Worskstations}, pages 65--96. Department Informatik, ETH Z\"urich,
  Switzerland, September 1983.

\bibitem{BMS84}
M.L. Brodie, J.~Mylopoulos, and J.W. Schmidt, editors.
\newblock {\em On Conceptual Modelling, Perspectives from Artificial
  Intelligence, Databases, and Programming Languages}.
\newblock Springer-Verlag, 1984.

\bibitem{Coo89}
W.~Cook.
\newblock A proposal for making eiffel type-safe.
\newblock In {\em ECOOP 90 Proc. European Conference on Object Oriented
  Programming}, 1989.

\bibitem{DiSc89}
E.W. Dijkstra and C.~S. Scholten.
\newblock {\em Predicate Calculus and Program Semantics}.
\newblock Springer-Verlag, 1989.

\bibitem{HuKi87}
R.~Hull and R.~King.
\newblock Semantic database modeling: Survey, applications, and research
  issues.
\newblock {\em ACM Computing Surveys}, 19(3), 1987.

\bibitem{JMW*90}
M.~Jeusfeld, M.~Mertikas, I.~Wetzel, Jarke. M., and J.W. Schmidt.
\newblock Database application development as an object modelling activity.
\newblock In {\em Proceedings of the Sixteenth International Conference on Very
  Large Databases, Brisbane, Australia}, August 1990.

\bibitem{Nels89}
G.~Nelson.
\newblock A generalization of {Dijkstra's} calculus.
\newblock {\em ACM Transactions on Programming Languages and Systems},
  11(4):517--561, October 1989.

\bibitem{Sche94b}
K.-D. Schewe.
\newblock {\em Specification of Data-Intensive Application Systems}.
\newblock PhD thesis, Technische Universit\"at Cottbus, 1994.

\bibitem{SSSTW92}
K.-D. Schewe, J.W. Schmidt, D.~Stemple, B.~Thalheim, and I.~Wetzel.
\newblock A reflective approach to method generation in object oriented
  databases.
\newblock Rostocker Informatik Berichte Nr. 13, Fachbereich Informatik,
  Universit\"at Rostock, Germany, 1992.

\bibitem{SSW92}
K.-D. Schewe, J.W. Schmidt, and I.~Wetzel.
\newblock Identification, genericity and consistency in object-oriented
  databases.
\newblock In J.~Biskup and R.~Hull, editors, {\em Proceedings of the
  International Conference on Database Theory}, volume 646 of {\em Lecture
  Notes in Computer Science}, pages 341--356. Springer-Verlag, October 1992.

\bibitem{SSW*91}
K.-D. Schewe, J.W. Schmidt, I.~Wetzel, N.~Bidoit, D.~Castelli, and C.~Meghini.
\newblock Abstract machines revisited.
\newblock FIDE Technical Report Series FIDE/91/11, FIDE Project Coordinator,
  Department of Computing Sciences, University of Glasgow, Glasgow G128QQ,
  March 1991.

\bibitem{STSW92}
K.-D. Schewe, B.~Thalheim, J.W. Schmidt, and I.~Wetzel.
\newblock Integrity enforcement in object-oriented databases.
\newblock In U.~Lipeck, editor, {\em Proc. 4th Int. Workshop on Foundations of
  Models and Languages for Data and Objects, Volkse, Germany, October 19--22},
  1992.

\bibitem{STW92}
K.-D. Schewe, B.~Thalheim, and I.~Wetzel.
\newblock Foundations of object-oriented database concepts.
\newblock Informatik Fachbericht FBI-HH-B-157/92, Fachbereich Informatik,
  Universit\"at Hamburg, Germany, November 1992.

\bibitem{Schm77a}
J.W. Schmidt.
\newblock Some high level language constructs for data of type relation.
\newblock In {\em Proceedings of the ACM-SIGMOD International Conference on
  Management of Data, Toronto, Canada}, August 1977.

\bibitem{SSF92}
D.~Stemple, T.~Sheard, and L.~Fegaras.
\newblock Linguistic reflection: A bridge from programming to database
  languages.
\newblock In {\em Proceedings 25th Annual Hawaii International Conference on
  System Sciences}, pages 46--55, 1992.

\bibitem{Wetz94}
I.~Wetzel.
\newblock {\em Programmieren mit {STYLE}: {\"U}ber die systematische
  Entwicklung von Programmierumgebungen}.
\newblock PhD thesis, Fachbereich Informatik, Universit\"at Hamburg, Germany,
  July 1994.

\bibitem{WSSB93}
I.~Wetzel, K.-D. Schewe, J.W. Schmidt, and A.~Borgida.
\newblock Specification and refinement of databases.
\newblock In M.~Jarke, editor, {\em Database Application Engineering with
  {DAIDA}}, pages 283--318. Springer-Verlag, 1993.

\end{thebibliography}
