Studien- und Diplomarbeit: Literaturverzeichnis
Oliver Nietsch
Version von  22. 3.1997
Original von Gerald Schroeder, 3.07.1993
Anmerkung: Teile aus Florian Matthes' Literaturverzeichnis FLORIAN.BIB

@string {IEEESW   = "IEEE Software"}
@string {IEEESWPE = "IEEE Software --- Practice and Experience"}
@string {COMPLANG = "Computer Languages"}
@string {COMPJOUR = "The Computer Journal"}
@string {JPA      = "Journal of Pascal and Ada"}
@string {JPAM     = "Journal of Pascal, Ada and Modula"}
@string {SP       = "Structured Programming"}
@string {WIRTH    = "N.~Wirth"}
@string {Pascal   = "{Pascal}"}
@string {Modula   = "{Modula}"}
@string {Modula2  = "{Modula-2}"}
@string {Oberon   = "{Oberon}"}
@string {Lilith   = "{Lilith}"}
@string {Ada      = "{Ada}"}
@string {c        = "{C}"}
@string {cplus    = "{C++}"}
@string {oop      = "{OOP}"}
@string {ETHZ     = "{ETH Z{"u}rich}"}
@string {afips = "AFIPS Proceedings of the Joint Computer Conference"}
@string {ipl = "Information Processing Letters"}

% STRING DEFINITIONS FOR USE IN LATEX BIBLIOGRAPHY
%

%MACRO {ibmjrd} {"IBM Journal of Research and Development"}
%MACRO {ibmsj} {"IBM Systems Journal"}
%MACRO {ieeese} {"IEEE Transactions on Software Engineering"}
%MACRO {ieeetc} {"IEEE Transactions on Computers"}
%MACRO {ieeetcad}
% {"IEEE Transactions on Computer-Aided Design of Integrated Circuits"}
%MACRO {jacm} {"Journal of the ACM"}
%MACRO {jcss} {"Journal of Computer and System Sciences"}
%MACRO {scp} {"Science of Computer Programming"}
%MACRO {sicomp} {"SIAM Journal on Computing"}
%MACRO {tocs} {"ACM Transactions on Computer Systems"}
%MACRO {tog} {"ACM Transactions on Graphics"}
%MACRO {toms} {"ACM Transactions on Mathematical Software"}
%MACRO {tcs} {"Theoretical Computer Science"}

@string{jan = "Januar"}
@string{feb = "Februar"}
@string{mar = "M{\"a}rz"}
@string{apr = "April"}
@string{may = "Mai"}
@string{jun = "Juni"}
@string{jul = "Juli"}
@string{aug = "August"}
@string{sep = "September"}
@string{oct = "Oktober"}
@string{nov = "November"}
@string{dec = "Dezember"}

@string{
	acmcs    = "ACM Computing Surveys"}

@string{
	actainf  = "Acta Informatica"}
@string{
	cacm     = "Communications of the ACM"}
@string{
	iwoods86 = "Proceedings of the First International Workshop
		    on Object-Oriented Database Systems, Pacific
		    Grove, California"}
@string{
	iwoods88 = "Proceedings of the Second International Workshop
		    on Object-Oriented Database Systems, Bad
		    Muenster am Stein-Ebernburg, Germany"}
@string{
	infosys  = "Information Systems"}
@string{
	oopsla86 = "Proceedings of the Object-Oriented Programming Systems,
		    Languages and Applications Conference, Portland, Oregon"}
@string{
	oopsla87 = "Proceedings of the Object-Oriented Programming Systems,
		    Languages and Applications Conference, Orlando, Florida"}
@string{
	oopsla88 = "Proceedings of the Object-Oriented Programming Systems,
		    Languages and Applications Conference, Orlando, Florida"}
@string{
	oopsla89 = "Proceedings of the Object-Oriented Programming Systems,
		    Languages and Applications Conference, 
		    New Orleans, Louisiana"}
@string{
	oopsla90 = "Proceedings of the OOPSLA / ECOOP Conference, 
		    Ottawa, Canada"}
@string{
	oopsla91 = "Proceedings of the Object-Oriented Programming Systems,
		    Languages and Applications Conference, 
		    Phoenix, Arizona"}
@string{
	pods82   = "Proceedings of the First ACM SIGACT-SIGMOD-SIGART
		    Symposium on Principles of Database Systems,
		    Los Angeles, California"}
@string{
	pods83   = "Proceedings of the Second ACM SIGACT-SIGMOD-SIGART
		    Symposium on Principles of Database Systems"}
@string{
	pods84   = "Proceedings of the Third ACM SIGACT-SIGMOD-SIGART
		    Symposium on Principles of Database Systems,
		    Waterloo, Ontario"}
@string{
	pods85   = "Proceedings of the Fourth ACM SIGACT-SIGMOD-SIGART
		    Symposium on Principles of Database Systems"}
@string{
	pods86   = "Proceedings of the Fifth ACM SIGACT-SIGMOD-SIGART
		    Symposium on Principles of Database Systems"}
@string{
	pods87   = "Proceedings of the Sixth ACM SIGACT-SIGMOD-SIGART
		    Symposium on Principles of Database Systems"}
@string{
	pods88   = "Proceedings of the Seventh ACM SIGACT-SIGMOD-SIGART
		    Symposium on Principles of Database Systems,
		    Austin, Texas"}
@string{
	pods89   = "Proceedings of the Eighth ACM SIGACT-SIGMOD-SIGART
		    Symposium on Principles of Database Systems,
		    Philadelphia, Pennsylvania"}
@string{
	popl74    = "Proceedings of the First ACM Symposium on
		    Principles of Programming Languages"}
@string{
	popl75    = "Proceedings of the Second ACM Symposium on
		    Principles of Programming Languages"}
@string{
	popl76    = "Proceedings of the Third ACM Symposium on
		    Principles of Programming Languages"}
@string{
	popl77   = "Proceedings of the Fourth ACM Symposium on
		    Principles of Programming Languages"}
@string{
	popl78    = "Proceedings of the Fifth ACM Symposium on
		    Principles of Programming Languages,
		    Tucson, Arizona"}
@string{
	popl79    = "Proceedings of the Sixth ACM Symposium on
		    Principles of Programming Languages"}
@string{
	popl80    = "Proceedings of the Seventh ACM Symposium on
		    Principles of Programming Languages,
		    Las Vegas, Nevada"}
@string{
	popl81    = "Proceedings of the Eighth ACM Symposium on
		    Principles of Programming Languages"}
@string{
	popl82    = "Proceedings of the Ninth ACM Symposium on
		    Principles of Programming Languages"}
@string{
	popl83   = "Proceedings of the Tenth ACM Symposium on
		    Principles of Programming Languages"}
@string{
	popl84   = "Proceedings of the Eleventh ACM Symposium on
		    Principles of Programming Languages"}
@string{
	popl85   = "Proceedings of the Twelfth ACM Symposium on
		    Principles of Programming Languages"}
@string{
	popl86   = "Proceedings of the Thirteenth ACM Symposium on
		    Principles of Programming Languages"}
@string{
	popl87   = "Proceedings of the Fourteenth ACM Symposium on
		    Principles of Programming Languages"}
@string{
	popl88   = "Proceedings of the Fifteenth ACM Symposium on
		    Principles of Programming Languages"}
@string{
	popl89   = "Proceedings of the Sixteenth ACM Symposium on
		    Principles of Programming Languages"}
@string{
	popl90   = "Proceedings of the Seventeenth ACM Symposium on
		    Principles of Programming Languages"}
@string{
	popl91   = "Proceedings of the Eighteenth ACM Symposium on
		    Principles of Programming Languages"}
@string{
	popl92   = "Proceedings of the Nineteenth ACM Symposium on
		    Principles of Programming Languages"}
@string{
	sigmod75 = "Proceedings of the ACM-SIGMOD International Conference
		    on Management of Data, San Jose, CA"}
@string{
	sigmod77 = "Proceedings of the ACM-SIGMOD International Conference
		    on Management of Data, Toronto, Canada"}
@string{
	sigmod78 = "Proceedings of the ACM-SIGMOD International Conference
		    on Management of Data"}
@string{
	sigmod79 = "Proceedings of the ACM-SIGMOD International Conference
		    on Management of Data"}
@string{
	sigmod80 = "Proceedings of the ACM-SIGMOD International Conference
		    on Management of Data"}
@string{
	sigmod81 = "Proceedings of the ACM-SIGMOD International Conference
		    on Management of Data"}
@string{
	sigmod82 = "Proceedings of the ACM-SIGMOD International Conference
		    on Management of Data"}
@string{
	sigmod83 = "Proceedings of the ACM-SIGMOD International Conference
		    on Management of Data"}
@string{
	sigmod84 = "Proceedings of the ACM-SIGMOD International Conference
		    on Management of Data, Boston, Massachusetts"}
@string{
	sigmod85 = "Proceedings of the ACM-SIGMOD International Conference
		    on Management of Data"}
@string{
	sigmod86 = "Proceedings of the ACM-SIGMOD International Conference
		    on Management of Data, Washington, D.~C."}
@string{
	sigmod87 = "Proceedings of the ACM-SIGMOD International Conference
		    on Management of Data, San Francisco, California"}
@string{
	sigmod88 = "Proceedings of the ACM-SIGMOD International Conference
		    on Management of Data, Chicago, Illinois"}
@string{
	sigmod89 = "Proceedings of the ACM-SIGMOD International Conference
		    on Management of Data, Portland, Oregon"}
@string{
	sigmodrec= "ACM SIGMOD Record"}
@string{
	sigplan  = "ACM SIGPLAN Notices"}
@string{
	surveys  = "ACM Computing Surveys"}
@string{
	tods     = "ACM Transactions on Database Systems"}
@string{
	tois     = "ACM Transactions on Office Information Systems"}
@string{
	toplas   = "ACM Transactions on Programming Languages and Systems"}
@string{
	tose     = "IEEE Transactions on Software Engineering"}
@string{
	vldb75    = "Proceedings of the First International Conference
		    on Very Large Databases"}
@string{
	vldb76    = "Proceedings of the Second International Conference
		    on Very Large Databases"}
@string{
	vldb77    = "Proceedings of the Third International Conference
		    on Very Large Databases"}
@string{
	vldb78    = "Proceedings of the Fourth International Conference
		    on Very Large Databases, West Berlin, Germany"}
@string{
	vldb79    = "Proceedings of the Fifth International Conference
		    on Very Large Databases"}
@string{
	vldb80    = "Proceedings of the Sixth International Conference
		    on Very Large Databases"}
@string{
	vldb81    = "Proceedings of the Seventh International Conference
		    on Very Large Databases"}
@string{
	vldb82    = "Proceedings of the Eighth International Conference
		   on Very Large Databases, Mexico City, Mexico"}
@string{
	vldb83    = "Proceedings of the Ninth International Conference
		    on Very Large Databases"}
@string{
	vldb84   = "Proceedings of the Tenth International Conference
		    on Very Large Databases"}
@string{
	vldb85   = "Proceedings of the Eleventh International Conference
		    on Very Large Databases"}
@string{
	vldb86   = "Proceedings of the Twelfth International Conference
		    on Very Large Databases, Kyoto, Japan"}
@string{
	vldb87   = "Proceedings of the Thirteenth International Conference
		    on Very Large Databases"}
@string{
	vldb88   = "Proceedings of the Fourteenth International Conference
		    on Very Large Databases"}
@string{
	vldb89   = "Proceedings of the Fifteenth International Conference
		    on Very Large Databases"}
@string{
	vldb90   = "Proceedings of the Sixteenth International Conference
		    on Very Large Databases"}
@string{
	dbpl87   = "Proceedings of the First International Workshop on
		    Database Programming Languages, Roscoff, Finistere,
		    France"}
@string{
	dbpl89  = "Proceedings of the Second International Workshop on
		   Database Programming Languages, Salishan, Oregon"}
@string{
	dbpl91  = "Proceedings of the Third International Workshop on
		   Database Programming Languages, Nafplion, Greece"}

@string{
  icse85  = "Proceedings of the 8th International Conference on Software
	     Engineering, Imperial College, London, U.~K."}
@string{
  dataeng85 = "Proceedings of the IEEE First International Conference
	       on Data Engineering"}
@string{
  dataeng86 = "Proceedings of the IEEE Second International Conference
	       on Data Engineering"}
@string{
  dataeng87 = "Proceedings of the IEEE Third International Conference
	       on Data Engineering"}
@string{
  dataeng88 = "Proceedings of the IEEE Fourth International Conference
	       on Data Engineering"}
@string{
  dataeng89 = "Proceedings of the IEEE Fifth International Conference
	       on Data Engineering, Los Angeles, California"}

@string{
  pos89     = "Proceedings of the Workshop on Persistent Object Systems,
	       Newcastle, Australia"}
@string{
  pos90     = "Proceedings of the Fourth International Workshop on Persistent Object Systems, Martha's Vineyard, Massachusetts"}

@string{
  exdbt88   = "Proceedings of the International Conference on Extending
	       Database Technology, Venice, Italy"}

@string{
  ieeesap87 = "Proceedings of the IEEE Symposium on Security and Privacy,
	       Oakland, California, April 27--29, 1987"}

@string{
  ieeesap88 = "Proceedings of the IEEE Symposium on Security and Privacy,
	       Oakland, California, April 18--21"}

@string{
  ieeesap89 = "Proceedings of the IEEE Symposium on Security and Privacy,
	       Oakland, California, May 1--3"}

@string{
	iop93 = "Proceedings of the International IEEE/RIDE Workshop
		 on Interoperability, Vienna"}

% Institutions and organizations:

@string{ffm-info     ={Johann Wolfgang
		       Goethe-Universit\"at, Frankfurt}}
@string{hbg-info     ={Universit\"at Hamburg, Fachbereich Informatik}}
@string{eth          ={ETH Z\"urich}}

@string{inria        ={INRIA, Domaine de Voluceau
		       Rocquencourt 78153 Le Chesnay Cedex - France}}

@string{altair       ={GIP Altair, Domaine de Voluceau
		       Rocquencourt 78153 Le Chesnay Cedex - France}}

@string{springer     ={Springer, Berlin}}

% Series:

@string{tis          ={Topics in Information Systems}}

@string{lncs         ={Lecture Notes in Computer Science}}

@string{tmcs         ={Texts and Monographs in Computer Science}}

% ------------------------------------------------------------------

@article{knuth65,
  author = "D. E. Knuth",
  title = "On the Translation of Languages from Left to Right",
  journal = "Information and Control",
  volume = 8,
  pages = "607--639",
  year = 1965
}

@inproceedings{cheatham66,
  author = "Cheatham, Jr., T.~E.",
  title = "The Introduction of Definitional Facilities into Higher Level
    Programming Languages",
  booktitle = afips,
  volume = 29,
  year = 1966,
  pages = "623--637",
  abstract = {Compilermodell, Syntaxerweiterungen im Compilermodell,
    Compiler-Generator/-Beschreibung, Syntax & semantische
    Interpretation, 3 Makro-Arten (normal, syntaktische,
    computational), syntaktische Typen = Sorten, Platzhalter mit Sorten,
    Fehlermeldungen in der semantischen Int., Redefinition des Compilers
    vor dem Lauf}
}

@article{leavenworth66,
  author = "B.~M. Leavenworth",
  title = "Syntax Macros and Extended Translation",
  journal = CACM,
  volume = 9,
  number = 11,
  year = 1966,
  pages = "790--793"
}

@proceedings{christensen69,
  editor = "C. Christensen and C.~J. Shaw",
  title = "Proceedings of the Extensible Languages Symposium",
  month = aug,
  year = 1969
}
  "K EXT, Zitat!!!"

@article{irons70,
  author = "E.~T. Irons",
  title = "Experience with an Extensible Language",
  journal = CACM,
  volume = 13,
  number = 1,
  year = 1970,
  pages = "31--40"
}

@phdthesis{wegbreit70,
  author = "B. Wegbreit",
  title = "Studies in Extensible Programming Languages",
  school = "Harvard University",
  year = 1970
}
  "R 1000"

@disthesis{neufeld93,
author=          {Neufeld, A.},
title=           {Validierung konzeptueller Schemata},
school = "Universit{\"a}t Karlsruhe, Fakult{\"a}t f{\"u}r Informatik",
year=            1993
}
month=           jun,


@inproceedings{alber71,
  author = "K. Alber",
  title = "Translator Functions for Compiler Description",
  booktitle = "1. GI-Fachtagung Programmiersprachen",
  year = 1971,
  pages = "60--78"
}

@article{knuth71,
  author = "D. E. Knuth",
  title = "Top-Down Syntax Analysis",
  journal = ActaInf,
  volume = 1,
  pages = "79--110",
  year = 1971
}

@proceedings{schuman71,
  editor = "S.~A. Schuman",
  title = "Proceedings of the International
    Symposium on Extensible Languages ",
  month = dec,
  year = 1971
}

@techreport{solntseff71,
  author = "N. Solntseff and A. Yezerski",
  title = "A Survey of Extensible Programming Languages",
  institution = "McMaster University",
  year = 1971
}
  "R 272"


@inproceedings{wegbreit71,
  author = "B. Wegbreit",
  title = "The {ECL} Programming System",
  booktitle = afips,
  volume = 39,
  year = 1971,
  pages = "253--262"
}

@article{deBruijn72,
title=           {Lambda-calculus Notation with Nameless Dummies: A Tool
for Automatic Formula Manipulation with Application to the
{Church-Rosser} Theorem},
author=          {{de Bruijn}, N.~G.},
journal=         {Indag.~Math.},
volume=          34,
number=          5,
year=            1972,
pages=           {381--392},
abstract=        {scoping, naming, de Bruijn indices, variable capture}
}

@book{campbell73,
  author = "M. Campbell-Kelly",
  title = "An Introduction to Macros",
  publisher = "MacDonald",
  year = 1973
}
  "P CAM 2240"


@book{brown74,
  author = "P.~J. Brown",
  title = "Macro Processors and Techniques for Portable Software",
  publisher = "John Wiley \& Sons",
  year = 1974
}
  "P BRO 2693"

@article{galler74,
  author = "B. Galler",
  title = "Extensible Languages",
  journal = infp,
  year = 1974,
  pages = "313--316"
}
  "extensible languages + structured prg., e.l. seit 1959!!!"


@techreport{johnson75,
author=          {Johnson, S.~C.},
title=           {Yacc: Yet Another Compiler-Compiler},
institution=     {Bell Laboratories},
year=            1975,
abstract=        {compiler compiler, YACC, grammar, parser}
}

@techreport{MMM93,
author=          {Mathiske, B. and Matthes, F. and M"u"sig, S.},
title=           {The Tycoon System and Library Manual},
institution=     hbg-info,
type=            {DBIS Tycoon Report},
number=          {212-93},
year=            1993,
abstract=        {...}
}

@techreport{MM93,
author=          {F. Matthes and S. M"u"sig},
title=           {The Tycoon Language TL: An Introduction.},
institution=     hbg-info,
type=            {DBIS Tycoon Report},
number=          {112-93},
year=            1993,
abstract=        {...}
}

@techreport{beek92,
author=          {M. v.d. Beeck},
title=           {Integration of Structured Analysis and Timed Statecharts for Real-Time and Concurrency Specification},
institution=     {Fachgruppe Informatik, RWTH Aachen},
type=            {Aachener Informatik-Bericht},
number=          {92-26},
year=            1992,
abstract=        {...}
}

@inproceedings{beek94,
  author = "M. v.d. Beeck",
  title = "A Comparison of Statecharts Variants",
  booktitle = "H. Langmaack, W.P. de Roever und J.Vytopil (Hrsg.). Lecture Notes in Computer Science 863, Springer, Berlin u.a.",
  year = 1994,
  pages = "128--148"
}

@inproceedings{wasser89,
  author = "A.I. Wassermann",
  title = "Tool Integration in Software Engineering Environments",
  booktitle = "F. Long (Hrsg.). Lecture Notes in Computer Science 467, Springer, Berlin u.a.",
  year = 1989,
  pages = "137--149"
}

@techreport{day93,
author=          {N. Day},
title=           {A Model Checker for Statecharts},
institution=     {Department of Computer Science, University of British Columbia, Vancouver, Kanada},
type=            {Technical Report},
number=          {93-35},
year=            1993,
abstract=        {...}
}

@techreport{hooman91,
author=          {Hooman, J.J.M. and Ramesh, S. and de Roever, W.P.},
title=           {A Compositional Axiomatization of Statecharts},
institution=     {Universit"at Kiel},
type=            {Institut f"ur Informatik und praktische Mathematik Bericht},
number=          {9107},
year=            1991,
abstract=        {...}
}

@techreport{apt90,
author=          {Apt, K.A. and Olderog, E.R.},
title=           {Introduction to Program Verification},
institution=     {Fachbereich Informatik, Universit"at Oldenburg},
type=            {Forschungsbericht},
number=          {4/90},
year=            1990,
abstract=        {...}
}

@techreport{apt85,
author=          {K.R. Apt},
title=           {Proving Correctness of Concurrent Programs --- A Quick Introduction},
institution=     {IBM Research Division, San Jose u.a.},
type=            {Research Report},
number=          {RC 10969 (\#49271)},
year=            1985,
abstract=        {...}
}

@techreport{leveson84,
author=          {Leveson, N.G. and Stolzy, J.L.},
title=           {Analyzing Safety and Fault Tolerance Using Time Petri Nets},
institution=     {Department of Information and Computer Science, University of California, Irvine, Kalifornien},
type=            {Technical Report},
number=          {220},
year=            1984,
abstract=        {...}
}

@techreport{neumann92,
author=          {Neumann, K. and Porscha, W. and Koschel, A. and M"uller, C.},
title=           {Charakterisierung eines aktuellen relationalen Datenbanksystems am Beispiel von Sybase},
institution=     {TU Braunschweig, Fachbereich Informatik, Abteilung Datenbanken},
type=            {Informatik Skripten},
number=          {29},
year=            1992,
abstract=        {...}
}

@techreport{neumann93,
author=          {K. Neumann},
title=           {Datenbank-Praktikum mit Sybase},
institution=     {TU Braunschweig, Fachbereich Informatik, Abteilung Datenbanken},
type=            {Informatik Skripten},
number=          {31},
year=            1993,
abstract=        {...}
}

@techreport{losavio94,
author=          {Losavio, F. and Matteo, A. and Schlienger, F.},
title=           {Metamodels for the Object-Oriented Approaches of Booch and OMT},
institution=     {Laboratoire de Recherche en Informatique, Universit\'e de Paris-Sud, Orsay, Frankreich},
type=            {Rapport de Recherche},
number=          {926},
year=            1994,
abstract=        {...}
}

@techreport{lesk75,
author=          {Lesk, M. E. and Schmidt, E.},
title=           {Lex -- a Lexical Analyzer Generator},
institution=     {Bell Laboratories},
year=            1975,
abstract=        {scanner, token}
}

@article{standish75,
  author = "T.~A. Standish",
  title = "Extensibility in Language Design",
  journal = SIGPLAN,
  volume = 10,
  number = 7,
  year = 1975,
  pages = "18--21"
}

@article{stonebraker76,
  author = "M. Stonebraker and E. Wong and P. Kreps and G. Held",
  title = "The Design and Implementation of {INGRES}",
  journal = tods,
  volume = 1,
  number = 3,
  year = 1976,
  pages = "189--222",
  abstract = {QUEL as query language and interface to DB system}
}
  month = sep,

@inproceedings{gries76,
  author = "D. Gries",
  title = "Some Comments on Programming Language Design",
  booktitle = "4. GI-Fachtagung Programmiersprachen",
  year = 1976,
  pages = "235--252"
}


@article{watt77,
  author = "D.~A. Watt",
  title = "The Parsing Problem for Affix Grammars",
  journal = actainf,
  volume = 8,
  year = 1977,
  pages = "1--20",
  abstract = {Inherited attributes with LR-Parsers}
}
kopiert

@article{codasyl78,
author=          {CODASYL},
title=           {Data Description Language Commitee Report},
journal=         {Information Systems},
volume=          3,
number=          4,
pages=           "247--320",
year=            1978,
abstract=        {Standardreferenz fuer Netzwerkdatenmodell DBTG}
}

@inproceedings{rowe79,
author=          {Rowe, L.~A. and Shoens, K.~A.},
title=           {Data Abstraction, Views and Updates in RIGEL},
booktitle=       sigmod79,
year=            1979,
pages=           "71--81"
}

@article{atkinson81,
author=          {Atkinson, M.~P. and Chisholm, K.~J. and Cockshott, W.~P.},
title=           {{PS-algol}: An Algol with a Persistent Heap},
journal=         sigplan,
volume=          17,
number=          7,
year=            1981
}
month=           jul,

@article{rowe81,
  author = "L.~A. Rowe",
  title = "Data Abstraction from a Programming Language Viewpoint",
  journal = SIGMODREC,
  volume = 11,
  number = 2,
  year = 1981,
  pages = "29--35",
  abstract = {classification of extensible languages}
}

@techreport{plotkin81,
author=         {Plotkin, G.~D.},
title=          {A Structural Appraoch to Operational Semantics},
institution=    {Aarhus University},
year=           {1981},
abstract=       {standard reference for operational semantics; deduction rules
}}

@article{wasserman81,
author=          {Wasserman, A.~L. and Sheretz, D.~D. and Kerstin, M.~L.},
title=           {Revised Report on the Programming Language PLAIN},
journal=         SIGPLAN,
volume=          16,
number=          5,
year=            1981,
pages=           "59--80"
}
month=           may,

@inproceedings{damas82,
author=          {Damas, L. and Milner, R.},
title=           {Principal Type-schemes for Functional Programs},
booktitle=       {Proc. 9th ACM Symposium on Principles of Programming
		  Languages},
year=            1982,
pages=           "207--212",
abstract=        {ML type inference and ML polymorphism}
}

@inproceedings{sendberg82,
  author = "D. Sendberg",
  title = "{LITHE:} A Language Combining a Flexible Syntax and Classes",
  booktitle = popl91,
  year = 1982,
  pages = "142--145"
}

@article{brodie82,
  author = "M. Brodie and J.~W. Schmidt",
  title = "Final Report of the ANSI/X3/SPARC DBS-SG Relational Database
  Task Group",
  journal = sigmodrec,
  volume = 12,
  number = 4,
  year = 1982,
  pages = "i"
}

@book{balzert82,
  author = "H. Balzert",
  title = "Die Entwicklung von Software-Systemen",
  publisher = "Bibliographisches Institut",
  year = 1982
}

@book{balzert93,
  author = "H. Balzert",
  title = "CASE --- Systeme und Werkzeuge",
  publisher = {Bibliographisches Institut, Mannheim},
  year = 1993
}

@book{heuer95,
  author = {A. Heuer and G. Saake},
  title = {Datenbanken: Konzepte und Sprachen. 1. Auflage},
  publisher = {International Thomson Publishing, Bonn u.a.},
  year = 1995
}

@book{schlageter83,
author=         {G. Schlageter and W. Stucky},
title=          {Datenbanksysteme: Konzepte und Modelle},
publisher=      "Teubner",
year=           1983
}

@book{horowitz84,
  author = "E. Horowitz",
  title = "Fundamentals of Programming Languages",
  publisher = springer,
  edition = "2.",
  year = 1984
}

@article{layzell85,
  author = "P.~J. Layzell",
  title = "The History of Macro Processors in Programming Language
    Extensibility",
  journal = COMPJOUR,
  volume = 28,
  number = 1,
  year = 1985,
  pages = "29--33"
}
kopiert
  month = jan,

@book{waite85,
author=         {W.~M. Waite and G. Goos},
title=          {Compiler Construction},
publisher=      springer,
year=           1985
}

@article{albano85,
author=          {Albano, A. and Cardelli, L. and Orsini R.},
title=           {Galileo: A Strongly-Typed, Interactive Conceptual Language},
journal=         tods,
volume=          10,
number=          2,
year=            1985,
pages=           "230--260"
}


@phdthesis{kohlbecker86a,
  author = "E.~E. Kohlbecker",
  title = "Syntactic Extensions in the Programming Language {LISP}",
  school = "Indiana University",
  year = 1986
}
  "R 20893"

@inproceedings{kohlbecker86b,
  author = "E.~E. Kohlbecker and D.~P. Friedman and M. Felleisen and B.
  Duba",
  title = "Hygienic Macro Expansion",
  booktitle = "Conference on Lisp and Functional Programming",
  year = 1986,
  pages = "151--159"
}

@inproceedings{stonebraker86,
  author = "M. Stonebraker and L.~A. Rowe",
  title = "The Design of {POSTGRES}",
  booktitle = sigmod86,
  year = 1986,
  pages = "340--355"
}

@inproceedings{glinz95,
  author = "M. Glinz",
  title = "An Integrated Formal Model of Scenarios Based on Statecharts",
  booktitle = "W. Sch{\"a}fer und P. Botella (Hrsg.). Software Engineering - ESEC '95. Springer, Berlin u.a.",
  year = 1995,
  pages = "231--271"
}

@inproceedings{guth93,
  author = "R. Guth",
  title = "The Client Server Effect on CASE",
  booktitle = "RiSc World, Vol. 3, Nr. 11, Austin, Texas",
  year = 1993,
  pages = "x--x"
}

@inproceedings{klees94,
  author = "F. Klees and C. Schmauch",
  title = "Navigator: StP/OMT --- Software-Entwicklung nach Rumbaugh",
  booktitle = "iX, Nr. 4, Hannover",
  year = 1994,
  pages = "62ff."
}

@inproceedings{versteegen96,
  author = "G. Versteegen",
  title = "Gute Pflege: Qualit{\"a}tsmanagement durchg{\"a}ngig realisieren",
  booktitle = "iX, Nr. 11, Hannover",
  year = 1996,
  pages = "144--150"
}

@inproceedings{thomas92,
  author = "I. Thomas and B.A. Nejmeh",
  title = "Definitions of Tool Integration for Environments",
  booktitle = "IEEE Software, Nr. 8, New York",
  year = 1992,
  pages = "29-35"
}

@inproceedings{harel87,
  author = "D. Harel",
  title = "Statecharts: A Visual Formalism for Complex Systems",
  booktitle = "Science of Computer Programming, Nr. 8, Amsterdam",
  year = 1987,
  pages = "231--274"
}

@inproceedings{leveson87,
  author = "N.G. Leveson and J.L. Stolzy",
  title = "Safety Analysis Using Petri Nets",
  booktitle = "IEEE Transactions on Software Engineering, Jahrg. 13, Nr. 3, New York",
  year = 1987,
  pages = "386--397"
}

@inproceedings{hsia94,
  author = "P. Hsia and J. Samuel and J. Gao and D. Kung",
  title = "Formal Approach to Scenario Analysis",
  booktitle = "IEEE Software, Jahrg. 11, Nr. 2, New York",
  year = 1994,
  pages = "33--41"
}

@inproceedings{leveson94,
  author = "N.G. Leveson and M.P.E. Heimdahl and H. Hildreth and J.D. Reese",
  title = "Requirements Specification for Process-Control Systems",
  booktitle = "IEEE Transactions on Software Engineering, Jahrg. 20, Nr.9, New York",
  year = 1994,
  pages = "684--707"
}

@inproceedings{rubin92,
  author = "K.S. Rubin and A. Goldberg",
  title = "Object Behavior Analysis",
  booktitle = "Communications of the ACM, Jahrg.35, Nr.9, New York",
  year = 1992,
  pages = "48--62"
}

@inproceedings{harel90,
  author = "D. Harel and H. Lachover and A. Naamad and A. Pnueli and M. Politi and R. Sherman and A. Shtull-Trauring and M. Trakhtenbrot",
  title = "STATEMATE: A Working Environment for the Development of Complex Reactive Systems",
  booktitle = "IEEE Transactions on Software Engineering, Jahrg. 16, Nr.4, New York",
  year = 1990,
  pages = "401--413"
}

@inproceedings{harel92,
  author = "D. Harel",
  title = "Biting the Silver Bullet",
  booktitle = "IEEE Computer, Jahrg. 25, Nr. 1, Los Alamitos, Kalifornien",
  year = 1992,
  pages = "8--20"
}

@inproceedings{blaha88,
  author = "M.R. Blaha and W.J. Premerlani and J. Rumbaugh",
  title = "Relational Database Design Using an Object-Oriented Methodology",
  booktitle = "Communications of the ACM, Jahrg. 31, Nr. 4, New York",
  year = 1988,
  pages = "414--427"
}

@inproceedings{blaha94,
  author = "M.R. Blaha and W.J. Premerlani and H. Shen",
  title = "Converting OO Models into RDBMS Schema",
  booktitle = "IEEE Software, Jahrg. 11, Nr. 3, New York",
  year = 1994,
  pages = "28--39"
}

@inproceedings{kawa71,
  author = "H. Kawashima and K. Futami and S. Kano",
  title = "Functional Specification of Call Processing by State Transition Diagram",
  booktitle = "IEEE Transition on Communication Technology, Jahrg. 19, Nr. 5, New York",
  year = 1971,
  pages = "581--587"
}

@inproceedings{shaw92,
  author = "A.C. Shaw",
  title = "Communicating Real-Time State Machines",
  booktitle = "IEEE Transactions on Software Engineering, Jahrg. 18, Nr. 9, New York",
  year = 1992,
  pages = "805--816"
}

@inproceedings{hoare78,
  author = "C.A.R. Hoare",
  title = "Communicating Sequential Processes",
  booktitle = "Communications of the ACM, Jahrg. 21, Nr. 8, New York",
  year = 1978,
  pages = "666--677"
}

@inproceedings{huizing91,
  author = "C. Huizing and W.P. de Roever",
  title = "Introduction to design choices in the semantics of Statecharts",
  booktitle = "Information Processing Letters, Jahrg. 37, Nr. 2, Amsterdam",
  year = 1991,
  pages = "205--213"
}

@inproceedings{rumb87,
  author = "J. Rumbaugh",
  title = "Relations as Semantic Constructs in an Object-Oriented Language",
  booktitle = "ACM SIGPLAN Notices, Jahrg. 22, Nr. 12, New York",
  year = 1987,
  pages = "466--481"
}

@inproceedings{adrion82,
  author = "W.R. Adrion and M.A. Branstad and J.C. Cherniavsky",
  title = "Validation, Verification, and Testing of Computer Software",
  booktitle = "ACM Computing Serveys, Jahrg. 14, Nr. 2, New York",
  year = 1982,
  pages = "159--192"
}

@inproceedings{chen76,
  author = "P.P.S. Chen",
  title = "The Entity-Relationship Model --- Toward a Unified View of Data",
  booktitle = "ACM Transactions on Database Systems, Jahrg. 1, Nr.1, New York",
  year = 1976,
  pages = "9--36"
}

@inproceedings{clarke86,
  author = "E.M. Clarke and E.A. Emerson and A.P. Sistla",
  title = "Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications",
  booktitle = "ACM Transactions on Programming Languages and Systems, Jahrg. 8, Nr.2, New York",
  year = 1986,
  pages = "244--263"
}

@inproceedings{atkinson87,
  author = "M.P. Atkinson and O.P. Buneman",
  title = "Types and Persistence in Database Programming Languages",
  booktitle = "ACM Computing Surveys, Jahrg. 19, Nr. 2, New York",
  year = 1987,
  pages = "105--199"
}

@inproceedings{cardelli85,
  author = "L. Cardelli and P. Wegner",
  title = "On Understanding Types, Data Abstraction, and Polymorphism",
  booktitle = "Computing Surveys, Jahrg. 17, Nr. 4, New York",
  year = 1985,
  pages = "471--522"
}

@inproceedings{harel85,
  author = "D. Harel and A. Pnueli",
  title = "On the Development of Reactive Systems",
  booktitle = "K.R. Apt (Hrsg.). Logics and Models of Concurrent Systems, Springer, Berlin u.a",
  year = 1985,
  pages = "477--498"
}

@inproceedings{joyce94,
  author = "J. Joyce and C.J.H. Seger",
  title = "Higher Order Logic Theorem Proving and its Applications",
  booktitle = "Lecture Notes in Computer Science 780, Springer, Berlin u.a.",
  year = 1994,
  pages = ""
}

@inproceedings{pnueli91,
  author = "A. Pnueli and M. Shalev",
  title = "What is in a Step: On the Semantics of Statecharts",
  booktitle = "T. Ito und A.R. Meyer (Hrsg.). Lecture Notes in Computer Science 780, Springer, Berlin u.a.",
  year = 1991,
  pages = "244--264"
}

@inproceedings{maran89,
  author = "F. Maraninchi",
  title = "Argonaute: Graphical Description, Semantics, and Verification of Reactive Systems by Using a Process Algebra",
  booktitle = "J. Sifakis (Hrsg.). Lecture Notes in Computer Science 407, Springer, Berlin u.a.",
  year = 1989,
  pages = "38--53"
}

@inproceedings{huizing88,
  author = "C. Huizing and R. Gerth and W.P. de Roever",
  title = "Modelling Statecharts Behaviour in a fully abstract Way",
  booktitle = "M. Dauchet, M. Nivat (Hrsg.). Lecture Notes in Computer Science 299, Springer, Berlin u.a.",
  year = 1988,
  pages = "271--294"
}

@inproceedings{bear90,
  author = "S. Bear and P. Allen and D. Coleman and F. Hayes",
  title = "Graphical Specification of Object-Oriented Systems",
  booktitle = "ACM SIGPLAN Notices, Jahrg. 25, Nr. 10, New York",
  year = 1990,
  pages = "28--37"
}

@inproceedings{alur90,
  author = "R. Alur and D. Dill",
  title = "Automata for Modeling Real-Time Systems",
  booktitle = "M.S.Paterson (Hrsg.). Lecture Notes in Computer Science 443, Springer, Berlin u.a.",
  year = 1990,
  pages = "322--335"
}

@inproceedings{glinz93,
  author = "M. Glinz",
  title = "Hierarchische Verhaltensbeschreibung in objektorientierten Systemmodellen --- eine Grundlage f{\"u}r modellbasiertes Prototyping",
  booktitle = "H. Z{\"u}llighoven, W. Altmann und E.E. Doberkat (Hrsg.). Requirements Engineering '93: Prototyping. Berichte des German Chapter of the ACM, Band 41. Teubner, Stuttgart",
  year = 1993,
  pages = "175--192"
}

@inproceedings{atkinson91,
  author = "M. Atkinson and R. Morrison and D. Stemple",
  title = "Type-safe Linguistic Reflection",
  booktitle = "Proceedings of the Third International Workshop on Database Programming Languages, Nafplion, Griechenland. Morgan Kaufmann, San Mateo u.a.",
  year = 1991,
  pages = "357--362"
}

@inproceedings{boehm79,
  author = "B.W. Boehm",
  title = "Software Engineering: R \& D Trends and Defense Needs",
  booktitle = "P. Wegner (Hrsg.). Research Directions in Software Technology. MIT Press",
  year = 1979,
}

@inproceedings{heni84,
  author = "J. Henize",
  title = "Critical Issue in evaluating socio-economic Models",
  booktitle = "T.I. {\"O}ren et al. (Hrsg.). Simulation and Model-based Methodologies: An Integrative View. Springer, Berlin u.a.",
  year = 1984,
}


@inproceedings{feldman93,
  author = "Y.A. Feldman and H. Schneider",
  title = "Simulating Reactive Systems by Deduction",
  booktitle = "ACM Transactions on Software Engineering, Jahrg. 2, Nr. 2, New York",
  year = 1993,
  pages = "128--175"
}

@inproceedings{harel88,
  author = "D. Harel",
  title = "On Visual Formalisms",
  booktitle = "Communications of the ACM, Jahrg. 31, Nr. 5, New York",
  year = 1988,
  pages = "514--530"
}

@inproceedings{woods70,
  author = "W.A. Woods",
  title = "Transition Network Grammars for Natural Language Analysis",
  booktitle = "Communications of the ACM, Jahrg. 13, Nr. 10, New York",
  year = 1970,
  pages = "591--606"
}

@inproceedings{davis88,
  author = "A.M. Davis",
  title = "A Comparison of Techniques for the Specification of External System Behavior",
  booktitle = "Communications of the ACM, Jahrg. 31, Nr. 9, New York",
  year = 1988,
  pages = "1098--1115"
}

@inproceedings{green86,
  author = "M. Green",
  title = "A Survey of Three Dialogue Models",
  booktitle = "ACM Transactions on Graphics, Jahrg. 5, Nr. 3, New York",
  year = 1986,
  pages = "244--275"
}

@inproceedings{coleman92,
  author = {D. Coleman and F. Hayes and S. Bear},
  title = "Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design",
  booktitle = "IEEE Transactions on Software Engineering, Jahrg. 18, Nr. 1, New York",
  year = 1992,
  pages = "9--18"
}


@incollection{blaser87,
author=          {A. Blaser and M. Jarke and H. Lehmann and G.
		  M{\"u}ller},
title=           {Datenbanksprachen und Datenbankbenutzung},
crossref=        {lockemann87},
chapter=         6
}

@incollection{schmidt87,
author=          {J.~W. Schmidt},
title=           {Datenbankmodelle},
crossref=        {lockemann87},
chapter=         1
}

@book{lockemann87,
editor=          {Lockemann, P.~C. and Schmidt, J.~W.},
title=           {Datenbank-Handbuch},
booktitle=       {Datenbank-Handbuch},
publisher=       springer,
year=            1987
}


@manual{SQLISO,
title=          {Standard ISO 9075, Information processing systems ---
		 Database language SQL},
organization=   {ISO},
number=         {First Edition 1987-06-15},
year=           1987,
abstract=       {SQL Standard},
key=            {SQL}
}

@manual{IDEsp94,
title=          {IDE and ACC: Success Packages --- OMT},
organization=   {Interactive Development Environments Inc. (Hrsg.)},
year=           {San Francisco, Kalifornien, 1994},
abstract=       {IDE Success Packages},
key=            {IDESP}
}

@manual{StPwp93,
title=          {Software through Pictures Core --- Technical White Paper. San Francicsco, Kalifornien},
organization=   {Interactive Development Environments Inc. (Hrsg.)},
year=           1993,
abstract=       {Technical White Paper},
key=            {IDEStPTWP}
}

@manual{StPpc93,
title=          {Software through Pictures --- Product Catalog 1993. San Francisco, Kalifornien},
organization=   {Interactive Development Environments Inc. (Hrsg.)},
year=           1993,
abstract=       {StP Product Catalog},
key=            {IDEStPPC}
}

@manual{StPim93,
title=          {Software through Pictures --- Product Summary:
		 Information Modeling. San Francisco, Kalifornien},
organization=   {Interactive Development Environments Inc. (Hrsg.)},
year=           1993,
abstract=       {StP Information Modeling},
key=            {IDEStPIM}
}

@manual{StPse94,
title=          {Software through Pictures --- Product Summary: 
		 Structured Environment},
organization=   {Interactive Development Environments Inc. (Hrsg.)},
year=           {San Francisco, Kalifornien, 1994},
abstract=       {StP Structured Environment},
key=            {IDEStPSE}
}

@manual{StPtt94,
title=          {Software through Pictures --- Product Summary: The T Tool},
organization=   {Interactive Development Environments Inc. (Hrsg.)},
year=           {San Francisco, Kalifornien, 1994},
abstract=       {StP T Tool},
key=            {IDEStPTTool}
}

@manual{StPfdm94,
title=          {Software through Pictures Core ---
		 Fundamentals of StP},
organization=   {Interactive Development Environments Inc. (Hrsg.)},
number=         {Release 1},
year=           {San Francisco, Kalifornien, 1994},
abstract=       {StP Fundamentals of StP},
key=            {IDEStPFdm}
}

@manual{StPoms94,
title=          {Software through Pictures Core ---
		 Object Management System. San Francisco, Kalifornien},
organization=   {Interactive Development Environments Inc. (Hrsg.)},
number=         {Release 1},
year=           1994,
abstract=       {StP OMS},
key=            {IDEStPOMS}
}

@manual{StPmod93,
title=          {Object Modeling Technique ---
		 Creating OMT Models. San Francisco, Kalifornien},
organization=   {Interactive Development Environments Inc. (Hrsg.)},
number=         {Release 1},
year=           1993,
abstract=       {StP OMS},
key=            {IDEOMTModels}
}

@manual{StPqrs94,
title=          {Software through Pictures Core ---
		 Query and Reporting System. San Francisco, Kalifornien},
organization=   {Interactive Development Environments Inc. (Hrsg.)},
number=         {Release 1},
year=           1994,
abstract=       {StP QRS},
key=            {IDEStPQRS}
}

@manual{StPcust94,
title=          {Software through Pictures Core ---
		 Customizing StP. San Francisco, Kalifornien},
organization=   {Interactive Development Environments Inc. (Hrsg.)},
number=         {Release 1},
year=           1994,
abstract=       {StP Cust},
key=            {IDEStPCust}
}

@manual{west93,
title=          {Westmount OMT --- Fallbeispiel Taxiunternehmen},
organization=   {PSI Gmbh, Aschaffenburg (Hrsg.)},
year=           1993,
abstract=       {Westmount OMT, Taxiunternehmen},
key=            {PSIWOMT}
}

@book{rumb91,
  author = {J. Rumbaugh and M. Blaha and W. Premerlani and F. Eddy and W. 
	    Lorensen},
  title = {Object-Oriented Modeling and Design},
  publisher = {Prentice Hall, Englewood Cliffs, New Jersey},
  year = 1991
}

@book{raasch91,
  author = {J. Raasch},
  title = {Systementwicklung mit Strukturierten Methoden},
  publisher = {Hanser, M{\"u}nchen u.a.},
  year = 1991
}

@book{oberweis96,
  author = {A. Oberweis},
  title = {Modellierung und Ausf{\"u}hrung von Workflows mit Petri-Netzen},
  publisher = {Teubner, Stuttgart},
  year = 1996
}

@book{jessen87,
  author = {E. Jessen and R. Valk},
  title = {Rechensysteme: Grundlagen der Modellbildung},
  publisher = {Springer, Berlin u.a.},
  year = 1987
}

@book{jaco92,
  author = {I. Jacobson and M. Christerson and P. Jonsson and G. \"Overgaard},
  title = {Object-Oriented Software Engineering: A Use Case Driven Approach},
  publisher = {Addison-Wesley, Reading, Massachusetts},
  year = 1992
}

@book{sommer96,
  author = {Ian Sommerville},
  title = {Software Engineering.},
  publisher = {Addison-Wesley, Reading, Massachusetts},
  year = 1996
}

@book{marco79,
  author = {T. de Marco},
  title = {Structured Analysis and System Specification},
  publisher = {Prentice Hall, Englewood Cliffs, New Jersey},
  year = 1979
}

@book{date90,
  author = {C.J. Date},
  title = {An Introduction to Database Systems. Volume 1},
  publisher = {Addison-Wesley, Reading, Massachusetts},
  year = 1990
}

@book{date87,
  author = {C.J. Date},
  title = {A Guide to the SQL Standard},
  publisher = {Addison-Wesley, Reading, Massachusetts},
  year = 1987
}

@book{cox86,
  author = {B.J. Cox},
  title = {Object-Oriented Programming},
  publisher = {Addison-Wesley, Reading, Massachusetts},
  year = 1986
}

@book{booch94,
  author = {G. Booch},
  title = {Object-Oriented Analysis and Design with Applications},
  publisher = {Benjamin/Cummings, Redwood City, Kalifornien},
  year = 1994
}

@book{ward91,
  author = {P.T. Ward and S.J. Mellor},
  title = {Strukturierte Systemanalyse von Echtzeit-Systemen},
  publisher = {Hanser, M"unchen u.a.},
  year = 1991
}

@book{shlaer88,
  author = {S. Shlaer and S.J. Mellor},
  title = {Object-Oriented Systems Analysis: Modeling the World in Data},
  publisher = {Prentice Hall, Englewood Cliffs, New Jersey},
  year = 1988
}

@book{shlaer92,
  author = {S. Shlaer and S.J. Mellor},
  title = {Object Lifecycles: Modeling the World in States},
  publisher = {Prentice Hall, Englewood Cliffs, New Jersey},
  year = 1992
}

@book{coad94,
  author = {P. Coad and E. Yourdon},
  title = {Objektorientierte Analyse},
  publisher = {Prentice Hall, M"unchen},
  year = 1994
}

@book{coad91,
  author = {P. Coad and E. Yourdon},
  title = {Object-Oriented Design},
  publisher = {Prentice Hall, Englewood Cliffs, New Jersey},
  year = 1991
}

@book{apt94,
  author = {K.R. Apt and E.R. Olderog},
  title = {Programmverifikation},
  publisher = {Springer, Berlin u.a.},
  year = 1994
}

@book{martin92,
  author = {J. Martin and J.J. Odell},
  title = {Object-Oriented Analysis and Design},
  publisher = {Prentice Hall, Englewood Cliffs, New Jersey},
  year = 1992
}

@book{hopcroft90,
  author = {J.E. Hopcroft and J.D. Ullman},
  title = {Einf"uhrung in die Automatentheorie},
  publisher = {Addison-Wesley, Bonn u.a.},
  year = 1990
}

@book{reisig82,
  author = {W. Reisig},
  title = {Petrinetze: Eine Einf"uhrung},
  publisher = {Springer, Berlin u.a.},
  year = 1982
}

@book{aho88,
  author = "A.~V. Aho and R. Sethi and J.~D. Ullman",
  title = "Compilerbau",
  publisher = "Addison-Wesley",
  year = 1988
}

@inproceedings{koskimies88,
  author = "K. Koskimies",
  title =  "Software Engineering Aspects in Language Implementation",
  booktitle = "Compiler Compilers and High Speed Compilation",
  year = 1988,
  publisher = springer
}
  "Zitat!!"
  month = oct,

@inproceedings{gyimothy88,
  author = "T. Gyim\'othy and T. Horv\'ath and F. Kocsis and J. Toczki",
  title =  "Incremental Algorithms in {PROF-LP}",
  booktitle = "Compiler Compilers and High Speed Compilation",
  year = 1988,
  publisher = springer
}
  month = oct,

@inproceedings{horspool88,
  author = "R.~N. Horspool",
  title =  "{ILALR}: An Incremental Generator of {LALR(1)} Parsers",
  booktitle = "Compiler Compilers and High Speed Compilation",
  year = 1988,
  publisher = springer
}
  month = oct,

@book{rechenberg88,
  author = "P. Rechenberg and H. M{\"o}ssenb{\"o}ck",
  title = "Ein Compiler-Generator f{\"u}r Mikrocomputer",
  publisher = "Hanser",
  edition = "2.",
  year = 1988
}
  "P REC 14903"

@techreport{bawden88,
  author = "A. Bawden and J. Rees",
  title = "Syntactic Closures",
  institution = "MIT",
  year = 1988
}
  "R 20085"

@mastersthesis{matthes88,
author=          {Matthes, F.},
title=           {Typvollst\"andigkeit in Datenbankprogrammiersprachen ---
		  DBPL Sprachentwurf und Implementation},
school=          ffm-info,
year=            1988
}
month=           nov,

@disthesis{schroeder97,
author=          {Schr\"oder, G.},
title=           {Eine Entwicklungsumgebung f\"ur kooperierende persistente
		  Objektsysteme (Arbeitstitel)},
school =         hbg-info,
year=            1997
}
month=           nov,

@mastersthesis{geis95,
author=          {Geisler, A.},
title=           {Basisdienste zur Gestaltung einer reflektiven grafischen
		  Entwicklungsumgebung f\"ur eine persistente Programmiersprache
		  },
school=          hbg-info,
year=            1995
}
month=           jun,

@mastersthesis{stamer97,
author=          {Stamer, S.},
title=           {Entwicklung einer grafischen Workflow-Notation auf Basis der Infrastruktur des StP/OMT-Tools (Arbeitstitel)},
school=          hbg-info,
year=            1997
}
month=           jun,

@mastersthesis{fricke95,
author=          {Fricke, O.},
title=           {Die Strukturierte Analyse auf der Basis h\"oherer Petrinetze},
school=          hbg-info,
year=            1995
}
month=           jun,

@mastersthesis{muessig94,
author=          {M"u"sig, S.},
title=           {Beitr"age zur typsicheren generischen Datenvisualisierung},
school=          hbg-info,
year=            1994
}
month=           jul,


@mastersthesis{gut91,
author= {Guttenberg, V.},
title=  {Entwicklung eines graphischen Monitors zur Validierung
         zeitdiskreter Simulationsmodelle},
school= hbg-info,
year=   1991
}
month=  jun,

@book{krueger74,
author= {S. Kr"uger},
title=  {Simulation. Grundlagen, Techniken, Anwendungen},
publisher = {De Gruyter, Berlin},
year=    1974
}

@book{page91,
author= {B. Page},
title=  {Diskrete Simulation. Eine Einf"uhrung mit Modula-2},
publisher = {Springer, Berlin u.a.},
year=    1991
}

@book{meyer88,
author=          {Meyer, B.},
title=           {Object-oriented Software Construction},
publisher=       {Prentice Hall},
year=            1988,
abstract=        {Eiffel Beschreibung & allgemeingueltige Aussagen ueber
		 OO-Software}
}

@book{meyer90a,
author=          {Meyer, B.},
title=           {Objektorientierte Softwareentwicklung},
publisher=       {Hanser, M"unchen u.a.},
year=            1990,
abstract=        {Eiffel Beschreibung & allgemeingueltige Aussagen ueber
		 OO-Software}
}

@article{rekers89,
  author = "J. Heering and P. Kint and J. Rekers",
  title = "Incremental Generation of Parsers",
  journal = SIGPLAN,
  volume = 24,
  number = 7,
  year = 1989,
  pages = "179--191"
}
  month = jul,

@book{reps89,
  author = "T.~W. Reps and T. Teitelbaum",
  title = "The Synthesizer Generator",
  publisher = springer,
  year = 1989
}
  "P REP 13761"

@misc{sheard89,
  author = "T. Sheard and L. Fegaras",
  title = "Extending Types by Structure Directed Operator Addition",
  institution = "University of Massachussetts",
  year = 1989
}

@book{date89,
author=          {Date, C.~J.},
title=           {A Guide to the SQL Standard},
publisher=       {Addison-Wesley},
edition=         {2.},
year=            1989,
abstract=        {Limitations of SQL, many detailed examples}
}

@book{sebesta89,
  author = "R.~W. Sebesta",
  title = "Concepts of Programming Languages",
  publisher = "Benjamin/Cummings",
  year = 1989
}

@inproceedings{dearle89,
author=          {Dearle, A. and Connor, R. and Brown, F. and Morrison,
		  R.},
title=           {{Napier88} -- A Database Programming Language?},
booktitle=       dbpl89,
year=            1989,
abstract=        {Napier Type System
}}
month=           jun,

@article{burshteyn90,
  author = "B. Burshteyn",
  title = "On the Modification of the Formal Grammar at Parse Time",
  journal = SIGPLAN,
  volume = 25,
  number = 5,
  year = 1990,
  pages = "117--123"
}
  month = may,

@article{christiansen90,
  author = "H. Christiansen",
  title = "A Survey of Adaptable Grammars",
  journal = SIGPLAN,
  volume = 25,
  number = 11,
  year = 1990,
  pages = "25--44"
}

@inproceedings{stemple90,
author=          {Stemple, D. and Fegaras, L. and Sheard, T. and Socorro, A.},
title=           {Exceeding the Limits of Polymorphism in
		  Database Programming Languages},
booktitle=       {Advances in Database Technology, EDBT '90},
year=            1990,
pages=           "269--285",
abstract=        {Reflection (statically bound and type checked),
		  Natural Join, gute Quellen zu Reflection, ADABTPL
}}


@inproceedings{grosch90,
author=          {J. Grosch and H. Emmelmann},
title=           {A Tool Box for Compiler Construction},
booktitle=       {Compiler-Compilers},
year=            1990,
pages=           "106--116"
}}
Als Report bei Andreas G.

@book{kernighan90,
  author = "B.~W. Kernighan and D.~M. Ritchie",
  title = "Programmieren in C",
  publisher = "Hanser",
  edition = "2.",
  year = 1990
}

@manual{trpl90,
  key = "TRPL",
  title = "A User's Guide to {TRPL}: {A} Compile-time Reflective
  Programming Language",
  institution = "University of Massachussetts",
  year = 1990
}

@misc{sheard90,
  author = "T. Sheard",
  title = "Compile-time Reflection: {A} New Approach to Polymorphism",
  institution = "University of Massachussetts",
  year = 1990
}

@inproceedings{abadi90,
  author = "M. Abadi and L. Cardelli and P.-L. Curien and J.-J. L\'evy",
  title = "Explicit Substitutions",
  booktitle = popl90,
  year = 1990,
  pages = "31--46"
}
  "bei Florian als Report, teilweise kopiert"

@book{hennessy90,
author=          {Hennessy, M.},
title=           {The Semantics of Programming Languages},
publisher=       {John Wiley \& Sons},
year=            1990,
abstract=        {An elementary introduction using structural
operational semantics; evaluation semantics, computation semantics,
denotational semantics, updates, local variables, global variables
}}

@book{meyer90b,
author=          {Meyer, B.},
title=           {Introduction to the Theory of Programming Languages},
publisher=       {Prentice Hall},
year=            1990,
abstract=        {An elementary introduction using structural
operational semantics; evaluation semantics, computation semantics,
denotational semantics, updates, local variables, global variables
}}
T MEY 16702

@book{steele90,
author=          {Steele, Jr., G.~L.},
title=           {Common Lisp: The Language},
publisher=       {Digital Press},
edition=         {2.},
year=            1990
}

@book{tofte90,
author=          {Tofte, M.},
title=           {Compiler Generators},
publisher=       {Springer},
year=            1990
}

@article{cordy91,
  author = "J.~R. Cordy and C.~D. Halpern and E. Promislow",
  title = "{TXL}: A Rapid Prototype System for Programming Language
    Dialects",
  journal = COMPLANG,
  volume = 16,
  number = 1,
  year = 1991,
  pages = "97--107"
}
kopiert
  month = jan,

@inproceedings{dershowitz91,
  author = {N. Dershowitz and J.-P. Jouannaud and J.~W. Klop},
  title = "Open Problems in Rewriting",
  booktitle = "Rewriting Techniques and Applications",
  year = 1991,
  pages = "445--456"
}


@inproceedings{stemple91a,
author=          {Stemple, D. and Sheard, T.},
title=           {A Recursive Base for Database Programming Primitives},
booktitle=       {Proceedings of the Kiev East/West Workshop on
		  Next Generation Database Technology},
year=            1991,
abstract=        {TRPL, set iteration
}}
month=           apr,

@inproceedings{stemple91b,
  author = "D. Stemple and T. Sheard and L. Fegaras",
  title = "Reflection: A Bridge from Programming to Database Languages",
  booktitle = "Proceedings HICSS, Hawaii",
  pages = "46--55",
  year = 1992
}
 "kopiert"

@inproceedings{stemple91c,
author=          {Stemple, D. and Morrison, R. and Atkinson M.},
title=           {Type-safe Linguistic Reflection},
booktitle=       {Database Programming Languages: Bulk Types and
		  Persistent Data},
year=            1991,
pages=           {357--362}
}

@misc{sheard91,
  author = "T. Sheard and D. Stemple",
  title = "Examples in {TRPL}",
  year = 1991
}

@techreport{cardelli91,
  author = "L. Cardelli",
  title = "{F-sub}, the System",
  institution = "{DEC SRC}",
  year = 1991
}
  "Ausdruck"

@inproceedings{clinger91,
  author = "W. Clinger and J. Rees",
  title = "Macros that Work",
  booktitle = popl91,
  pages = "155--162",
  year = 1991
}
  "K PRI 16775, kopiert"

@techreport{schroeder91,
  author = {G. Schr{\"o}der},
  title = "Die {S}tandardisierung von {Modula-2}",
  institution = hbg-info,
  year = 1991
}


@inproceedings{matthes91,
author=          {Matthes, F. and Schmidt, J.~W.},
title=           {Bulk Types: Built-In or Add-On?},
booktitle=       dbpl91,
year=            1991,
abstract=        {
note=            (also appeared as TR FIDE/91/27)
month=           sep,
Bulk structures play a central r\^ole in data-intensive application
programming. The issues of {\em bulk type} definition and
implementation as well as their integration into database programming
languages are, therefore, key topics in current DBPL research.
\\
In this paper we raise a more general language design and implementation
issue by asking whether there should be at all built-in bulk types in
DBPLs. Instead, one could argue that bulk types should be realized
exclusively as user-definable add-ons to unbiased core languages with
appropriate primitives and abstraction facilities.
\\
In searching for an answer we first distinguish two substantially
different levels on which bulk types are supported. {\em Elementary
Bulk} essentially copes with persistent storage of mass data, their
identification and update.  {\em Advanced Bulk} provides additional
support required for data-intensive applications such as optimized
associative queries and integrity support under concurrency and failure.
\\
Our long-term experience with bulk types in the DBPL language and system
clearly shows the limitation of the built-in approach: built-in {\em
Advanced Bulk}, as elaborate as it may be, frequently does not cover the
whole range of demands of a fully-fledged application and often does not
provide a decent pay-off for its implementation effort. On the other
hand, restriction to built-in {\em Elementary Bulk} gives too little
user-support for most data-intensive applications.
\\
We report our current work on open database application systems which
favours DBPLs with bulk types as add-ons, and outline some of the
technological requirements for highly reusable implementations of
languages with advanced user-provided bulk type definitions.
}}

@manual{MODISO,
title=           {Interim Version of the 4th Working Draft Modula-2 Standard},
organization=    {ISO/IEC JTC1/SC22/WG13},
year=            1991,
key=             {ModISO}
}

@book{nelson91,
editor=          {Nelson, G.},
title=           {Systems programming with Modula-3},
publisher=       {Prentice Hall},
year=            1991,
abstract=        {(Revised) Modula-3 Report, Standard Interfaces,
Floating Point, Pickles, Concurrent Programming with Threads, Thread
Synchroinzation [Spec a la Larch], I/O Sterams: Abstract Types, Real
Programs, Trestle Window System Tutorial, Discussion = Language Rationale.
}}

@article{ipser92,
  author = "Ipser, Jr., E.~A.",
  title = "Exploratory Language Design",
  journal = SIGPLAN,
  volume = 27,
  number = 4,
  year = 1992,
  pages = "41--50"
}
  month = apr,
  "Sprache auf Anwendungsbereiche zuschneiden per Spracherweiterungen"

@article{sakharov92,
  author = "A. Sakharov",
  title = "Macro Processing in High-Level Languages",
  journal = SIGPLAN,
  volume = 27,
  number = 11,
  year = 1992,
  pages = "59--66",
  abstract = {Def. + Expansion, Platzhalter, Grammatikregeln,
    Meta-Operationen, YACC + LEX, Problem der Fehlermeldungen,
    unklar: Checks?}
}

@article{cabasino92,
  author = "S. Cabasino and P.~S. Paolucci and G. M. Todesco",
  title = "Dynamic Parsers and Evolving Grammars",
  journal = SIGPLAN,
  volume = 27,
  number = 11,
  year = 1992,
  pages = "39--48"
}

@techreport{schroeder92,
  author = {G. Schr{\"o}der and F. Matthes},
  title = "Using the {Tycoon} Compiler Toolkit",
  institution = hbg-info,
  year = 1992
}

@book{matthes92,
  author = "F. Matthes",
  title = "Persistente Objektsysteme. Integrierte Datenbankentwicklung
  und Programmerstellung",
  publisher = "Springer, Berlin",
  year = 1993
}
  month = aug,

@stdthesis{nietsch96,
  author = {Nietsch, O.},
  title = {Die Anbindung des Tycoon-Systems an die CASE-Umgebung StP "uber ein
  Repository},
school=   hbg-info,
year=     1996
}
month=    feb,


@stdthesis{hachmann96,
  author = {Hachmann, I.},
  title = {Generische Visualisierungsdienste am Beispiel von StarView und
           Tycoon},
school= hbg-info,
year=   1996
}
month=  apr,


@mastersthesis{niederee92,
author=         {Nieder\'ee, C.},
title=          {Generische Dienste f"ur datenintensive Anwendungen:
Iterationsabstraktion, Integrit"ats"uberwachung, Fehlererholung},
school=         hbg-info,
year=           {1992},
abstract=       {Iteratoren, Tycoon, TL
}}
month=          nov,

@techreport{stemple92,
author=          {Stemple, D. and Stanton, R.~B. and Sheard, T. and
		  Philbrow, P. and Morrison, R. and Kirby, G.~N.~C. and
		  Fegaras, L. and Cooper, R.~L. and Connor, R.~C.~H. and
		  Atkinson, M.~P. and Alagic, S.},
title=           {Type-Safe Linguistic Reflection: A Generator 
		  Technology},
year=            1992,
institution=     {University of St. Andrews},
abstract=        {TRPL, Napier88, PS-algol, run-time / compile-time.
}}
month=           jul,

@techreport{kirby92,
author=          {Kirby, G.~N.~C.},
title=           {Persistent Programming with Strongly Typed Linguistic
		  Reflection},
year=            1992,
institution=     {University of St. Andrews}
}}

@book{stroustrup92,
  author = "B. Stroustrup",
  title = "The {C++} Programming Language",
  publisher = "Addison-Wesley",
  edition = "2.",
  year = 1992
}
  "P STR 18432"

@techreport{schmidt92,
author=          {Schmidt, J.W. and Matthes, F.},
title=           {The Database Programming Language DBPL: Rationale and Report},
institution=     hbg-info,
year=            1992,
}
month=           jul

@techreport{mueller92,
author=          {Matthes, F. and M\"uller, R. and Schmidt, J.W.},
title=           {Object Stores as Servers in Persistent Programming
		  Environments -- The P-Quest Experience},
institution=     hbg-info,
year=            1992,
keywords=        {P-Quest, Tycoon, Object Store},
abstract=        {A promising approach to improve the quality of
month=           jul,
next-generation database programming languages is to strictly separate
data modeling and data manipulation tasks from data storage issues.
This separation greatly simplifies the development of tailor-made
database languages and data models based on the generic services of a
data model neutral object store protocol that provides efficient,
transactional access primitives to persistent, shared and possibly
distributed data objects.\\ As a first step towards this goal, this
paper investigates the specific services which {\em language clients}
require from their supporting object stores. It gives insight into the
process of selecting a suitable object store for a polymorphic
higher-order programming environment (P-Quest) and sketches the mapping
of higher-level language objects like functions, environments and
polymorphic aggregates, onto more primitive storage structures. The
functionality of three candidate object stores ($O_2$, Mneme and Napier
POS) is evaluated based on the requirements imposed by the Quest
language.}}

@inproceedings{schmidt93,
author=          {Schmidt, J.~W. and Matthes, F.},
title=           {Lean Languages and Models: Towards an Interoperable
Kernel for Persistent Object Systems},
booktitle=       iop93,
year=            1993,
abstract=        {DBPL, Tycoon, SQL-Kritik}
}

@inproceedings{linnemann93,
author=          {V. Linnemann},
title=           {Grammatiken und Syntaxb\"aume in Datenbanken},
booktitle=       {Datenbanksysteme in B\"uro, Technik und Wissenschaft},
year=            1993
}

@techreport{abiteboul93,
author=          {S. Abiteboul and S. Cluet and T. Milo},
title=           {Querying and Updating the File},
institution=     {I.N.R.I.A.},
year=            1993
}