\newcommand{\etalchar}[1]{$^{#1}$} \begin{thebibliography}{DCBM89} \bibitem[AGO91]{AGO91} A.~Albano, G.~Ghelli, and R.~Orsini. \newblock A Relationship Mechanism for a Strongly Typed Object-Oriented Database Programming Language. \newblock In {\em Proceedings of the Seventeenth International Conference on Very Large Databases}, pages 565--575, 1991. \bibitem[AM85]{AtMo85a} M.P. Atkinson and R.~Morrison. \newblock First class persistent procedures. \newblock {\em ACM Transactions on Programming Languages and Systems}, 7(4), October 1985. \bibitem[App92]{App92} A.~Appel. \newblock {\em Compiling with Continuations}. \newblock Cambridge University Press, 1992. \bibitem[BDK92]{BDK92} F.~Bancilhon, C.~Delobel, and P.~Kanellakis. \newblock {\em Building an Object-Oriented Database System: The Story of O$_{2}$}. \newblock Morgan Kaufmann Publishers, 1992. \bibitem[BDS{\etalchar{+}}93]{BDSSW93} Y.~Breibart, A.~Deacon, H.-J. Schek, A.~Sheth, and G.~Weikum. \newblock Merging Application-centric and Data-centric Approaches to Support Transaction-oriented Multi-system Workflows. \newblock {\em ACM SIGMOD Record}, 12(3):23--30, September 1993. \bibitem[BK91]{BaKa91} N.S. Barghouti and G.E. Kaiser. \newblock Concurrency control in advanced database applications. \newblock {\em ACM Computing Surveys}, 23(3):269--317, September 1991. \bibitem[BMS93]{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[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[GBM94]{GMM94} A.~Gawecki, Mathiske. B., and F.~Matthes. \newblock The Tycoon Machine Language TML: An Optimizable Persistent Program Representation. \newblock DBIS Tycoon Report 103-94, Fachbereich Informatik, Universit\"at Hamburg, Germany, March 1994. \bibitem[GMS87]{GMS87} H.~Garcia-Molina and K.~Salem. \newblock Sagas. \newblock In {\em Proceedings of the ACM-SIGMOD International Conference on Management of Data, San Francisco, California}, pages 249--259, May 1987. \bibitem[GR93]{GrRe93} J.~Gray and A.~Reuter. \newblock {\em Transaction Processing -- Concepts and Techniques}. \newblock The Morgan Kaufmann Series in Data Management Systems. Morgan Kaufmann Publishers, 1993. \bibitem[Mat93]{Matt93} F.~Matthes. \newblock {\em Persistente Objektsysteme: Integrierte Datenbankentwicklung und Programmerstellung}. \newblock Springer-Verlag, 1993. \newblock (In German.). \bibitem[MMS92]{MMS92} F.~Matthes, R.~M{\"u}ller, and J.W. Schmidt. \newblock Object Stores as Servers in Persistent Programming Environments -- The P-Quest Experience. \newblock FIDE Technical Report Series FIDE/92/48, FIDE Project Coordinator, Department of Computing Sciences, University of Glasgow, Glasgow G128QQ, July 1992. \bibitem[MS91]{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[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[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[OSF93]{DCE93} OSF. \newblock {\em OSF DCE Administration Guide -- Core Components}. \newblock Prentice Hall, Englewood Cliffs, New Jersey, 1993. \bibitem[Plo81]{Plot81} G.D. Plotkin. \newblock A structural appraoch to operational semantics. \newblock DIAMI FN~19, Computer Science Department, Aarhus University, 1981. \bibitem[POS90]{POSIX} Portable Operating System Interface for Computer Environments (POSIX). \newblock Federal information processing standards publication NBS-FIPS-PUB-151-1, National Bureau of Standards, 1990. \bibitem[RCS93]{RCS93} J.E. Richardson, M.~J. Carey, and D.T Schuh. \newblock The design of the E Programming Language. \newblock {\em ACM Transactions on Programming Languages and Systems}, 15(3):494--534, July 1993. \bibitem[Reu89]{Reut89} A.~Reuter. \newblock {ConTracts}: A Means for Extending Control Beyond Transaction Boundaries. \newblock In {\em Third International Workshop on High Performance Transaction Systems}, 1989. \bibitem[SM93]{ScMa93} J.W. Schmidt and F.~Matthes. \newblock Lean Languages and Models: Towards an Interoperable Kernel for Persistent Object Systems. \newblock In {\em Proceedings of the IEEE International Workshop on Research Issues in Data Engineering}, pages 2--16, April 1993. \bibitem[SM94]{ScMa94} J.W. Schmidt and F.~Matthes. \newblock The DBPL Project: Advances in Modular Database Programming. \newblock (to appear in Jounal 'Information Systems'), 1994. \bibitem[SMR{\etalchar{+}}93]{SMRS93} K.~Subieta, F.~Matthes, A.~Rudloff, J.W. Schmidt, and I.~Wetzel. \newblock Viewers: A Data-World Analogue of Procedure Calls. \newblock In {\em Proceedings of the Nineteenth International Conference on Very Large Databases, Dublin, Ireland}, August 1993. \bibitem[Str67]{Stra67} C.~Strachey, editor. \newblock {\em Fundamental concepts in programming languages}. \newblock Oxford University Press, Oxford, 1967. \bibitem[Swe93]{Swen93} K.D. Swenson. \newblock Visual Support for Reengineering Work Processes. \newblock In {\em Proceedings of the Conference on Organizational Computing Systems, COOCS'93}. ACM Press, 1993. \bibitem[Tur93]{Turn93} K.~Turner, editor. \newblock {\em Using Formal Description Techniques, An Introduction to Estelle, Lotos and SDL}. \newblock Wiley series in communication and distributed systems. John Wiley \& Sons, 1993. \end{thebibliography}