Bibliography
@techreport{Esc95,
author = "Robert Eschbach",
title = "ART -- Modularisierung von Induktionsbeweisen {\"u}eber
Gleichungsspezifikationen",
note = "dokumentation",
year = "1995 (?)",
institution = "Universit{\"a}t Kaiserslautern"
}
@article{Ear70,
key = {Ear70},
author = {J. Earley},
title = {{A}n efficient context-free parsing algorithm},
journal = {Communications of the ACM},
volume = {13},
number = {2},
pages = {94-102},
year = {1970}}
@article{Ehr82,
key = {Ehr82},
author = {H.-D. Ehrich},
title = {{O}n the theory of specification,
implementation and parameterization of abstract data types},
journal = {Journal of the ACM},
volume = {29},
number = {1},
pages = {206-227},
year = {1982}}
@inproceedings{EFPB86,
key = {EFPB86},
author = {H. Ehrig and W. Fey and F. Parisi-Presicce and
E.K. Blum},
title = {{A}lgebraic theory of module specifications
with constraints},
booktitle = {Proceedings of the Twelfth Symposium on
Mathematical Foundations of Computer Science},
series = {Lecture Notes in Computer Science},
editor = {J. Gruska and B. Rovan and J. Wiedermann},
volume = {233},
pages = {59-77},
organization = {Springer-Verlag},
year = {1986}}
@article{EKMP82,
key = {EKMP82},
author = {H. Ehrig and H.-J. Kreowski and B. Mahr and P.
Padawitz},
title = {{A}lgebraic implementation of abstract data
types},
journal = {Theoretical Computer Science},
volume = {20},
pages = {209-263},
year = {1982}}
@techreport{EW85,
key = {EW85},
author = {H. Ehrig and H. Weber},
title = {{A}lgebraic specification of modules},
institution = {Universit{\"{a}}t Dortmund},
type = {{F}orschungsbericht 190, {F}achbereich
{I}nformatik},
year = {1985}}
@incollection{EW86,
key = {EW86},
author = {H. Ehrig and H. Weber},
title = {{P}rogramming in the large with algebraic
module specifications},
booktitle = {Information Processing 86},
editor = {H.-J. Kugler},
pages = {675-684},
publisher = {Elsevier},
year = {1986}}
@article{ES85,
key = {ES85},
author = {R.J. Ellison and B.J. Staudt},
title = {{T}he evolution of the {GANDALF} system},
journal = {The Journal of Systems and Software},
volume = {5},
number = {2},
pages = {107-119},
year = {1985}}
@inproceedings{EB86,
key = {EB86},
author = {Emde Boas, P. van},
title = {{A} semantical model for integration and
modularization of rules},
booktitle = {Proceedings of the Twelfth Symposium on
Mathematical Foundations of Computer Science},
series = {Lecture Notes in Computer Science},
editor = {J. Gruska and B. Rovan and J. Wiedermann},
volume = {233},
pages = {78-92},
organization = {Springer-Verlag},
year = {1986}}
@article{EY87,
key = {EY87},
author = {Emden, M.H. van and K. Yukawa},
title = {{L}ogic programming with equations},
journal = {Journal of Logic Programming},
volume = {4},
pages = {265-288},
year = {1987}}
@inproceedings{EF80,
key = {EF80},
author = {J. Engelfriet and G. Fil{\'{e}}},
title = {{F}ormal properties of one-visit and multi-pass
attribute grammars},
booktitle = {Proceedings of the Seventh International
Conference on Automata, Languages and Programming},
series = {Lecture Notes in Computer Science},
editor = {J.W. de Bakker and J. van Leeuwen},
volume = {85},
pages = {182-194},
year = {1980}}
@article{Ers82,
key = {Ers82},
author = {A.P. Ershov},
title = {{M}ixed computation: potential applications and
problems for study},
journal = {Theoretical Computer Science},
volume = {18},
pages = {41-67},
year = {1982}}
@article{Ers77,
key = {Ers77},
author = {A.P. Er{\v{s}}ov},
title = {{A} theoretical principle of system
programming},
journal = {Soviet Math. Dokl.},
volume = {18},
number = {2},
pages = {312-315},
year = {1977}}
@techreport{Eke92.assocmatch,
key = {Eke92},
author = {S.M. Eker},
title = {Associative matching for linear terms},
institution = {Centrum voor Wiskunde en Informatica (CWI)},
type = {Report {CS}-{R}9224},
address = {Amsterdam},
year = {1992}}
@techreport{Eke92.obj3asdf,
key = {Eke92},
author = {S.M. Eker},
title = {A comparison of {OBJ3} and {ASF+SDF}},
institution = {Centrum voor Wiskunde en Informatica (CWI)},
type = {Report {CS}-{R}9223},
address = {Amsterdam},
year = {1992}}
@techreport{Eke92.obj3verif,
key = {Eke92},
author = {S.M. Eker},
title = {Verification of parameterised synchronous
concurrent
algorithms with {OBJ3}, The pixel planes architecture
revisited},
institution = {Centrum voor Wiskunde en Informatica (CWI)},
type = {Report {CS}-{R}9225},
address = {Amsterdam},
year = {1992}}
@book{EM85,
key = {EM85},
author = {H. Ehrig and B. Mahr},
title = {{F}undamentals of {A}lgebraic {S}pecifications,
{V}ol. {I}, {E}quations and {I}nitial {S}emantics},
publisher = {Springer-Verlag},
year = {1985}}
@InProceedings{ESL89,
key = {ESL89},
author = {H.~Emmelmann and F-W.~{Schr\"{o}er} and R.~Landwehr},
title = {{BEG} - a {G}enerator for {E}fficient {B}ack {E}nds},
booktitle = {Proceedings of the Sigplan '89 Conference on
Programming Language Design and Implementation},
publisher = {{ACM} {P}ress},
note = {Appears as {SIGPLAN} {N}otices, Vol. 24, Number 7},
year = {1989},
month = {July}
}
@Manual{Emm90,
key = {Emm90},
author = {H.~Emmelmann},
title = {{BEG} - a {B}ack {E}nd {G}enerator - {U}ser {M}anual},
organization = {{GMD} {F}orschungsstelle an der {U}niversit\"{a}t
{K}arlsruhe},
year = {1990},
month = {April},
note = {Version 1}
}
@techreport{ENP90,
key = {ENP90},
author = {Marko van Eekelen and Eric Nocker and Rinus Plasmeijer and
Sjaak Smetsers},
title = {Concurrent Clean},
institution = {University of Nijmegen},
month = {November},
year = 1990,
number = {90-20},
note = {Version 0.6}
}