\begin{small}
\begin{thebibliography}{mnnnn}
\bibitem[Abr88]{a} J. R. Abrial et al.\ {\em Abstract Machines.} Part 1. 
26 Rue des Plantes, Paris 75014, 1988.

\bibitem[Ada80]{ada} {\em Ada Reference Manual.} Department of Defense,
1980. in H. F. Ledgard: {\em Ada, an Introduction} Springer-Verlag, New
York 1981.

\bibitem[AhU72]{au72} A. V. Aho, J. D. Ullman. {\em The Theory of Parsing,
Translation and Compiling.} Prentice Hall, Englewood Cliffs, 1972.

\bibitem[AhU77]{au78} A. V. Aho, J. D. Ullman. {\em Principles of Compiler
Design.} Addison-Wesley, Reading, 1977.

\bibitem[ASU86]{asu} A. V. Aho, R. Sethi, J. D. Ullman. {\em Compilers.
Principles, Techniques and Tools.} Addison-Wesley, Reading, 1986.

\bibitem[CaW85]{cw} L. Cardelli, P. Wegner. {\em On Understanding
Types, Data Abstraction, and Polymorphism.} Computing Surveys, 17, 4, 1985.

\bibitem[Cou84]{c} B. Courcelle. {\em Attribute Grammars: Definitions, Analysis
of Dependencies, Proof Methods.} in B. Lorho. {\em Methods and Tools for 
Compiler Construction.} Cambridge University Press, 1984.

\bibitem[Dij76]{dj} E. W. Dijkstra. {\em A Discipline of Programming.}
Prentice Hall, 1976.

\bibitem[Don84]{don} V. Donzeau-Gouge et al. {\em Programming Environments
Based on Structured Editors: The Mentor Experience.} in D. Barstow, E.
Sandewall, H. Shrobe (eds.). {\em Interactive Programming Environments.}
McGraw-Hill, Hightstown, 1984.

\bibitem[Eng84]{e} J. Engelfriet. {\em Attribute Grammars: Attribute Evaluation
Methods.} in B. Lorho. {\em Methods and Tools for Compiler Construction.} 
Cambridge University Press, 1984.

\bibitem[ES85]{es} G. Engels, W. Sch\"afer. {\em Graph Grammar Engineering:
A Method Used for the Development of an Integrated Programming Support
Environment.} Angewandte Informatik, FB 6, Univ.\ Osnabr\"uck, 1985.

\bibitem[ESc87]{esc} G.Engels, A. Sch\"urr. {\em A Hybrid Interpreter in
a Software Development Environment.} Proc.\ of the 1st European Software
Engineering Conference, Strasbourg, 1987.

\bibitem[ENS86]{ens} G. Engels, M. Nagl, W. Sch\"afer. {\em On the Structure
of Structure-Oriented Editors for Different Applications.} SIGPLAN Notices,
22, 1, 1986.

\bibitem[GRW77]{grw} H. Ganzinger, K. Ripken, R. Wilhelm. {\em Automatic
generation of optimizing multipass compilers.} Information Processing
77: Proc.\ of the IFIP Congress 77, Toronto, Canada, 8.-12. August 1977.

\bibitem[Ger75]{ger} S. L. Gerhart. {\em Correctness-preserving Program
Transformations.} Conf.\ Record of the 2nd ACM Symposium on Principles of
Programming Languages, Palo Alto, 20.-22. Januar, 1975.

\bibitem[Hab79]{hab} A. N. Habermann. {\em An overview of the Gandalf project.}
in {\em Computer Science Research Review 1978-1979.} Carnegie-Mellon Univ.,
1979.

\bibitem[HeZ84]{hz} T. Heine, J. Zippel. {\em DBPL Systembeschreibung.
Benutzung und Implementation der Dialogkomponente.} DBPL Memo 011-86, 1984.

\bibitem[Jar86]{dada} M. Jarke et al. {\em DAIDA Global Design Report.}
Fachb.\ Informatik, Johann Wolfgang Goethe - Universit\"at, Frankfurt, 1986.

\bibitem[Jar87]{gkb} M. Jarke et al. {\em Wissensbanken zur Softwareentwicklung
und Wartung.} in {\em Datenbanken in B\"urotechnik und Wissenschaft.} Berlin,
1987.

\bibitem[JJR88]{jjr} M. Jarke, M. Jeusfeld, T. Rose. {\em A Software Process
Model for the DAIDA GKBMS.} Univ.\ Passau, 1988.

\bibitem[JOR75]{jor} M. Jazayeri, W. F. Ogden, W. C. Rounds. {\em The
intrinsically exponential complexity of the circularity problem for attributed
grammars.} CACM 18, 679-706 (1975).
 
\bibitem[Joh75]{j} S. C. Johnson. {\em Yacc: Yet another compiler-compiler.}
Bell Laboratories, Murray Hill, 1975.

\bibitem[Kas79]{k1} U. Kastens. {\em ALADIN -- Eine Definitionssprache f\"ur
attributierte Grammatiken.} Univ.\ Karlsruhe, Inst.\ f.\ Informatik II,
Bericht Nr.\ 7,79, 1979.

\bibitem[Kas80]{k} U. Kastens. {\em Ordered Attribute Grammars.} 
Acta Informatica 13, 3, (1980).

\bibitem[KaZ80]{kaz} U. Kastens, E. Zimmermann. {\em GAG -- A Generator
based on Attributed Grammars.} Univ.\ Karlsruhe, Inst.\ f.\ Informatik II,
Bericht Nr.\ 14,80, 1980.

\bibitem[KHZ82]{khz} U. Kastens, B. Hutt, E. Zimmermann. {\em GAG: A Practical
Compiler Generator.} Springer-Verlag, Berlin, 1982.

\bibitem[KeW76]{kew} K. Kennedy, S. K. Warren. {\em Automatic Generation
of Efficient Evaluators for Attribute Grammars.} Proc.\ 3d ACM Symp.\ on
Principles of Programming Languages, 32-49, 1976.

\bibitem[Knu68]{kn} D. E. Knuth. {\em Semantics of Context-Free Languages.}
Math. Syst. Theorie {\bf 2}, 127-145 (1968).

\bibitem[Knu71]{knc} D. E. Knuth. {\em Semantics of Context-Free Languages:
Correction.} Math. Syst. Theorie {\bf 5}, 95-96 (1971).

\bibitem[Les75]{l} M. E. Lesk, E. Schmidt. {\em Lex -- a lexical analyzer
generator.} Bell Laboratories, Murray Hill, 1975.

\bibitem[Lew86]{lew} C. Lewerentz. {\em Entwurf und Implementierung eines
syntaxgesteuerten Editors f\"ur Software-Architekturen.} in H. W. Wippermann
(ed.). {\em Software-Architektur und
modulare Programmierung.} Tagung I/1986 des German Chapter of the ACM, 24.-25.
2. 1986, Kaiserslautern, Teubner-Verlag, Stuttgart, 1986.

\bibitem[LoS87]{s} P. C. Lockemann, J. W. Schmidt (ed.)  
{\em Datenbank-Handbuch.} Springer-Verlag, Berlin, 1987.

\bibitem[Mat88]{mat} F. Matthes. {\em Typvollst\"andigkeit in
Datenbankprogrammiersprachen -- DBPL-Sprachentwurf und Implementation.}
Diplomarbeit. Fachb.\ Informatik, Johann Wolfgang Goethe - Universit\"at,
Frankfurt, 1988.

\bibitem[MRS84]{mrs} M. Mall, M. Reimer, J. W. Schmidt {\em Data Selection,
Sharing and Access Control in a Relational Scenario.} in Brodie, Mylopoulos,
Schmidt (eds.) {\em On Conceptual Modelling.} Springer-Verlag, New York,
1984.

\bibitem[MeF81]{mef} R. Medina-Mora, P. Feiler. {\em An Incremental Programming
Environment.} IEEE Trans.\ on Software Engineering, September 1981.

\bibitem[Mei80]{mei} E. Meineche Schmidt. {\em Space Restricted Attribute
Grammars.} in {\em Automata, Languages and Programming.} 7th Colloquium,
Nordwijkerhout, July 14-18 1980, Springer-Verlag, Berlin, 1980.

\bibitem [Nie83]{nie} H. Niemann. {\em Klassifikation von Mustern.} 
Springer-Verlag, Berlin, 1983.

\bibitem[Niem86]{nii} T. Niemi. {\em A Systematic Specification Schema based
on Attribute Grammars for Multi-level Database Applications.} University
of Tampere, 1986.

\bibitem[NiS89]{nis} P. Niebergall, J.W. Schmidt. {\em Integrated DAIDA
Environment Part 2: DBPL-USE: A Tool for Language-Sensitive Database
Programming.}
Fachb.\ Informatik, Johann Wolfgang Goethe - Universit\"at, Frankfurt, 1989.
   
\bibitem[Rep83]{r83} T. Reps. {\em Generating Language-Based Environments.}
Thesis (Ph.D.).  Cornell University, Ithaca, 1983.  

\bibitem[ReT87b]{rte} T. Reps, T. Teitelbaum. {\em Language Processing in
Program Editors.} Computer, 11, 1987. 

\bibitem[ReT87a]{rt} T. Reps, T. Teitelbaum. {\em The Synthesizer Generator
Reference Manual.} Cornell University, Ithaca, 1987. 

\bibitem[ReT88]{rt88} T. Reps, T. Teitelbaum. {\em The Synthesizer Generator:
A System for Constructing Language-based Editors.} Springer-Verlag, New
York, 1988.

\bibitem[RMT86]{rmt} T. Reps, C. Marceau, T. Teitelbaum. {\em Remote Attribute
Updating for Language-based Editors.} Conf.\ Record of the 13th ACM Symposium
on Principles of Programming Languages, Januar 1986.        

\bibitem[Rich83]{ric} E. Rich. {\em Artificial Intelligence.} McGraw-Hill,
Singapore, 1983.

\bibitem[RiB82]{rib} D. Ridjanovic, L. Brodie. {\em Defining Database Dynamics
with Attribute Grammars.} Information Processing Letters, 14,3, 1982.

\bibitem[Rit87]{r} G. Ritter et al. {\em DBPL Environment}. Deliverable 
IMP 2.1, Esprit-Project Daida, 1987.

\bibitem[Sal73]{sal} A. Salomaa. {\em Formal Languages.} Academic Press, New
York 1973.

\bibitem[SEM88]{sem} J. W. Schmidt, H. Eckhardt, F. Matthes. {\em DBPL System:
The Prototype and its Architecture.} Univ.\ of Frankfurt, 1988.

\bibitem[Seb89]{seb} R. W. Sebesta. {\em Concepts of Programming Languages.}
Benjamin/\-Cummings, 1989.

\bibitem[SnT87]{snt} D. Snyers, A Thayse. {\em From Logic Design to Logic
Programming.} Springer-Verlag, Berlin, 1987.

\bibitem[Sta81]{sta} R. M. Stallman. {\em EMACS: The Extensible, Customizable,
Self-Documenting Display Editor.} Proc. of the ACM SIGPLAN SIGOA Symposium
on Text Manipulation, Portland, Oregon, June 8-10, 1981.

\bibitem[TeR81]{tr} T. Teitelbaum, T. Reps. {\em The Cornell Program
Synthesizer: A Syntax-Directed Programming Environment.} CACM, 24, 9
1981.

\bibitem[TsK78]{tsk} D. C. Tsichritzis, A. Klug. {\em The ANSI/X3/SPARC
DBMS Framework Report of the Study Group on Database Management Systems.}
Information Systems, 3,3, 1978.

\bibitem[Uhl82]{u} J. Uhl et al. {\em An Attribute Grammar for the Semantic
Analysis of Ada.} Springer-Verlag, Berlin, 1982.

\bibitem[Ull82]{ul} J. D. Ullman. {\em Principles of Database Systems.}
Computer Science Press, Rockville, 1982.

\bibitem[Wat84]{w} D. A. Watt. {\em Contextual Constraints.} in B. Lorho. {\em 
Methods and Tools for Compiler Construction.} Cambridge University Press, 1984.

\bibitem[WNS89]{wns} I. Wetzel, P. Niebergall, J.W. Schmidt. {\em A Mapping
Assistant for Database Program Development. Part 1: Tasks and Foundations.}
Fachb.\ Informatik, Johann Wolfgang Goethe - Universit\"at, Frankfurt, 1989.
   
\bibitem[Wil79]{wil} R. Wilhelm. {\em Attributierte Grammatiken.}
Informatik-Spektrum, 2, 1979.

\bibitem[Wil76]{wil} R. Wilhelm et al. {\em Design Evaluation of the Compiler
Generating System MUG1.} Proc.\ of the 2nd internat.\ Conference on Software
Engineering, 1976.

\bibitem[Wir83]{wir} N. Wirth. {\em Programming in Modula-2.} Springer-Verlag,
Berlin, 1983.
   
\bibitem[Wip86]{wip} H. W. Wippermann (ed.). {\em Software-Architektur und
modulare Programmierung.} Tagung I/1986 des German Chapter of the ACM, 24.-25.
2. 1986, Kaiserslautern, Teubner-Verlag, Stuttgart, 1986.
\end{thebibliography}  
\end{small}
