\newcommand{\etalchar}[1]{$^{#1}$}
\begin{thebibliography}{BDMG{\etalchar{+}}88}

\bibitem[AB87]{AtBu86}
M.P. Atkinson and P.~Bunemann.
\newblock Types and Persistence in Database Programming Languages.
\newblock {\em ACM Computing Surveys}, 19(2), June 1987.

\bibitem[ACC81]{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[BDMG{\etalchar{+}}88]{B*88}
D.G. Bobrow, L.G. De~Michiel, R.P. Gabriel, S.E. Keene, G.~Kiczales, and D.A.
  Moon.
\newblock Common Lisp Object System Specification.
\newblock {\em ACM SIGPLAN Notices}, 23, September 1988.

\bibitem[Car86]{Card86}
L.~Cardelli.
\newblock Amber.
\newblock In {\em Combinators and Functional Programming Languages}, volume 242
  of {\em Lecture Notes in Computer Science}. Springer-Verlag, 1986.

\bibitem[Car89]{Card89}
L.~Cardelli.
\newblock Typeful Programming.
\newblock Technical Report~45, Digital Equipment Corporation, Systems Research
  Center, Palo-Alto, California, May 1989.

\bibitem[Car90]{Card90}
L.~Cardelli.
\newblock The {Quest} Language and System (Tracking Draft).
\newblock Technical report, Digital Equipment Corporation, Systems Research
  Center, Palo-Alto, California, 1990.
\newblock (shipped as part of the Quest V.12 system distribution).

\bibitem[CMMS91]{CMMS91}
L.~Cardelli, S.~Martini, J.C. Mitchell, and A.~Scedrov.
\newblock An Extension of System {F} with Subtyping.
\newblock In T.~Ito and A.R. Meyer, editors, {\em Theoretical Aspects of
  Computer Software, TACS'91}, Lecture Notes in Computer Science, pages
  750--770. Springer-Verlag, 1991.

\bibitem[DCBM89]{DCBM89}
A.~Dearle, R.~Connor, F.~Brown, and R.~Morrison.
\newblock {Napier88} -- A Database Programming Language?
\newblock In {\em Proceedings of the Second International Workshop on Database
  Programming Languages, Portland, Oregon}, June 1989.

\bibitem[FH88]{FiHa88}
A.J. Field and P.G. Harrison.
\newblock {\em Functional Programming}.
\newblock Addison-Wesley Publishing Company, 1988.

\bibitem[GR83]{GoRo83}
A.~Goldberg and D.~Robson.
\newblock {\em Smalltalk-80: The Language and its Implementation}.
\newblock Addison-Wesley Publishing Company, 1983.

\bibitem[Hud89]{Hudak89}
P.~Hudak.
\newblock Conception, Evolution, and Application of Functional Programming
  Languages.
\newblock {\em ACM Computing Surveys}, 21(3):359--411, September 1989.

\bibitem[I{\etalchar{+}}83]{I*83}
Ichbiah et~al.
\newblock The Programming Language Ada: Reference Manual.
\newblock Technical Report MIL-STD-1815A-1983, ANSI, 1983.

\bibitem[KR77]{KeRi77}
B.W. Kernighan and D.M. Ritchie.
\newblock {\em The C Programming Language}.
\newblock Prentice Hall, Englewood Cliffs, New Jersey, 1977.

\bibitem[Mat91]{Matt91a}
F.~Matthes.
\newblock {P-Quest}: Installation and User Manual.
\newblock DBIS Tycoon Report 101-91, Fachbereich Informatik, Universit\"at
  Hamburg, Germany, October 1991.

\bibitem[Mat93]{Matt93}
F.~Matthes.
\newblock {\em Persistente Objektsysteme: Integrierte Datenbankentwicklung und
  Programmerstellung}.
\newblock Springer-Verlag, 1993.
\newblock (In German.).

\bibitem[Mau91]{Maun91}
M.~Mauny.
\newblock Functional Programming using CAML.
\newblock Technical report, INRIA, Domaine de Voluceau, Rocquencourt 78153 Le
  Chesnay Cedex, France, September 1991.

\bibitem[Min88]{Mink88}
J.~Minker.
\newblock {\em Foundations of Deductive Databases and Logic Programming}.
\newblock Morgan Kaufmann Publishers, 1988.

\bibitem[MOD91]{MODISO}
ISO/IEC JTC1/SC22/WG13.
\newblock {\em Interim Version of the 4th Working Draft Modula-2 Standard},
  1991.

\bibitem[MS91a]{MaSc91b}
F.~Matthes and J.W. Schmidt.
\newblock Bulk Types: Built-In or Add-On?
\newblock In {\em Database Programming Languages: Bulk Types and Persistent
  Data}. Morgan Kaufmann Publishers, September 1991.

\bibitem[MS91b]{MaSc91}
F.~Matthes and J.W. Schmidt.
\newblock Towards Database Application Systems: Types, Kinds and Other Open
  Invitations.
\newblock In {\em Proceedings of the Kiev East/West Workshop on Next Generation
  Database Technology}, volume 504 of {\em Lecture Notes in Computer Science},
  April 1991.
\newblock (Also appeared as TR FIDE/91/14).

\bibitem[MS92]{MaSc92a}
F.~Matthes and J.W. Schmidt.
\newblock Definition of the Tycoon Language TL -- A Preliminary Report.
\newblock Informatik Fachbericht FBI-HH-B-160/92, Fachbereich Informatik,
  Universit\"at Hamburg, Germany, November 1992.

\bibitem[MS93]{MaSc93b}
F.~Matthes and J.W. Schmidt.
\newblock System Construction in the Tycoon Environment: Architectures,
  Interfaces and Gateways.
\newblock In P.P. Spies, editor, {\em Proceedings of Euro-Arch'93 Congress},
  pages 301--317. Springer-Verlag, October 1993.

\bibitem[M{\"u}l91]{Mue91}
R.~M{\"u}ller.
\newblock Sprachprozessoren und Objektspeicher: Schnittstellenentwurf und
  -implementierung.
\newblock Master's thesis, Fachbereich Informatik, Johann Wolfgang
  Goethe-Universit\"at, Frankfurt, Germany, November 1991.

\bibitem[Nel91]{Nels91}
G.~Nelson, editor.
\newblock {\em Systems programming with Modula-3}.
\newblock Series in innovative technology. Prentice Hall, Englewood Cliffs, New
  Jersey, 1991.

\bibitem[NMM92]{NMM92}
C.~Nieder\'ee, S.~M\"u{\ss}ig, and F.~Matthes.
\newblock {P-Quest} User Manual.
\newblock DBIS Tycoon Report 102-92, Fachbereich Informatik, Universit\"at
  Hamburg, Germany, February 1992.
\newblock (In German.).

\bibitem[RLW85]{RLW85}
P.~Rovner, R.~Levin, and J.~Wick.
\newblock On Extending Modula-2 for Building Large, Integrated Systems.
\newblock Technical Report~3, Digital Equipment Corporation, Systems Research
  Center, Palo-Alto, California, January 1985.

\bibitem[SM90]{ScMa90a}
J.W. Schmidt and F.~Matthes.
\newblock Language Technology for Post-Relational Data Systems.
\newblock In A.~Blaser, editor, {\em Database Systems of the 90s}, volume 466
  of {\em Lecture Notes in Computer Science}, pages 81--114, November 1990.

\bibitem[SSS{\etalchar{+}}92]{S*92}
D.~Stemple, R.B. Stanton, T.~Sheard, P.~Philbrow, R.~Morrison, G.N.C. Kirby,
  L.~Fegaras, R.L. Cooper, R.C.H. Connor, M.P. Atkinson, and S.~Alagic.
\newblock Type-Safe Linguistic Reflection: A Generator Technology.
\newblock Research Report CS/92/6, University of St. Andrews, Department of
  Computing Science, July 1992.

\bibitem[Wir87]{Wirt87a}
N.~Wirth.
\newblock The Programming Language Oberon.
\newblock Technical report, Department Informatik, ETH Z\"urich, Switzerland,
  1987.

\end{thebibliography}