@INPROCEEDINGS{BieniusaEtAl2008,
  author = {Annette Bieniusa and Marcus Crestani and Markus Degen and Martin Gasbichler and Phillip Heidegger and Herbert Klaeren and Eric Knauel and Michael Sperber and Peter Thiemann and Stefan Wehr},
  title = {HtDP and DMdA in the Battlefield --- A Case Study in First-year Programming Instruction},
  booktitle = {FDPE'08: Proceedings of the 2008 Workshop on Functional and Declarative Programming in Education},
 isbn = {978-1-60558-068-5},
 pages = {1-12},
publisher = {ACM},
 address = {New York, NY, USA},
  year = 2008
}

@InProceedings{bieniusa09:auf-weg-progr,
  author = 	 {Annette Bieniusa and Marcus Crestani and Markus Degen and Martin Gasbichler and Phillip Heidegger and Herbert Klaeren and Eric Knauel and Michael Sperber and Peter Thiemann and Stefan Wehr},
  title = 	 {Auf dem Weg zu einer robusten Programmierausbildung},
  booktitle = 	 {3. GI-Fachtagung Hochschuldidaktik Informatik},
  pages =	 {67-80},
  year =	 2009,
  volume =	 1,
  series =	 {Commentarii informaticae didacticae},
  publisher =	 {Universitätsverlag Potsdam}
}

@Book{klaerensperber07,
  author =	 {Herbert Klaeren and Michael Sperber},
  title = 	 {Die Macht der Abstraktion: Einführung in die Programmierung},
  publisher = 	 {Teubner},
  year = 	 2007,
  language = {german}
}

@InCollection{klaeren06:commod-schreib-cbm,
  author = 	 {Herbert Klaeren},
  title = 	 {Commodore Schreibsystem CBM},
  booktitle = 	 {Achtunddreissig Dinge --- Schätze aus den Natur- und Kulturwissenschaftlichen Sammlungen der Universität Tübingen},
  pages =	 {78-79},
  publisher =	 {Eberhard-Karls-Universität},
  year =	 2006,
  editor =	 {Volker Harms and Gottfried Korff and Anette Michels},
  address =	 {Tübingen}
}

@Book{klaeren06:viren-trojan,
  author =	 {Herbert Klaeren},
  title = 	 {Viren, Würmer und Trojaner: Streifzüge durch die Computerwelt},
  publisher = 	 {Klöpfer \& Meyer},
  year = 	 2006,
  language =     {german},
  address =	 {Tübingen}
}


@InCollection{klaeren04:softw,
  author = 	 {Herbert Klaeren},
  title = 	 {Softwaretechnik --- Das Reich der Mitte},
  booktitle = 	 {Softwaretechnik im Kontext},
  pages =	 {79-84},
  publisher =	 {Universität Hamburg, Fachbereich Informatik},
  year =	 2004,
  editor =	 {Wolf-Gideon Bleek},
  number =	 256,
  series =	 {Berichte des Fachbereichs Informatik}
}

@Book{klaerensperber02,
  author =	 {Herbert Klaeren and Michael Sperber},
  title = 	 {Vom Problem zum Programm: Architektur und Bedeutung von Computerprogrammen},
  publisher = 	 {Teubner},
  year = 	 2002,
  language = {german},
  edition =	 {3.}
}

@InProceedings{KlaerenPulvermllerRashidSpeck2000-gcse,
  author =       "Herbert Klaeren and Elke Pulvermüller and Awais Rashid
and Andreas Speck",
  title =        "Aspect Composition Applying the Design by Contract
Principle",
  language = {english},
  pages =        "57-69",
editor    = {Gregory Butler and
               Stan Jarzabek},
  booktitle     = {Generative and Component-Based Software Engineering, Second
               International Symposium, GCSE 2000, Erfurt, Germany, October
               9-12, 2000, Revised Papers},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2177},
  year      = {2001},
  isbn      = {3-540-42578-0},
}

@Article{klaeren00:stand,
  author = 	 {Herbert Klaeren},
  title = 	 {Eine Universität ohne Standort?},
  language =     {german},
  journal = 	 {attempto! Forum der Universität Tübingen},
  year = 	 2000,
  pages =	 {24-25},
  month =	 {April},
  note =         {Nachdruck in: openSource --- Das Netzwerkmagazin für wissenschaftliche Mitarbeiter, Okt./Nov. 2000, 20--22}
}

@inproceedings{SpKl99,
   author    = {Speck, Andreas and Klaeren, Herbert},
   title     = {RoboSiM: Java 3D Robot Visualization},
   booktitle = {Proceedings of the IECON'99, the 26th Annual Conference of 
                the IEEE Industrial Electronics Society},
   editor    = {},
   volume    = {},
   series    = {},
   pages     = {821-826},
   publisher = {IEEE Press},
   address   = {San Jose, CA},
   year      = {1999},
   language  = {english},
}  

@TechReport{busse99:posting,
  author = 	 {Johannes Busse and Detlev Krause and Sylvia Rizvi and Herbert Klaeren},
  title = 	 {Inhalte, Kontexte und Mediendidaktik in "`Informatik und Gesellschaft"'.  Beiträge zur Tagung PoStInG (Praxisorientiertes Studium Informatik und Gesellschaft},
  institution =  {Universität Tübingen},
  year = 	 1999,
  language = {german},
  type =	 {Berichte des Wilhelm-Schickard-Instituts},
  number =	 {WSI-99-16}
}


@InProceedings{klaeren99:role-formal-softw-const,
  author = 	 {Herbert Klaeren},
  title = 	 {The Role of Formalisation in Software Construction},
  booktitle = 	 {Social Thinking --- Software Practice},
  pages =	 {51-53},
  year =	 1999,
  editor =	 {Yvonne Dittrich and Christiane Floyd and Nimal Jayaratna and Finn Kensing and Ralf Klischewski},
  volume =	 250,
  series =	 {Dagstuhl-Seminar-Report},
  address =	 {Dagstuhl},
  organization = {Int. Begegnungs- und Forschungszentrum für Informatik}
}

@inproceedings{PuKlSp99,
   author    = {Pulvermüller, Elke and Klaeren, Herbert and Speck, Andreas},
   title     = {Aspects in Distributed Environments},
   booktitle = {Proceedings of the GCSE'99, First International Symposium on
                Generative and Component-Based Software Engineering},
   location  = {Erfurt},
   month     = {September},
   year      = {1999},
   language  = {english}
}  

@Book{klischewski99:infor-gesel,
  author =	 {Ralf Klischewski},
  note =	 {Hrsg. Detlev Krause und Herbert Klaeren},
  title = 	 {Informatik und Gesellschaft --- Eine Einführung},
  publisher = 	 {Universität Tübingen},
  year = 	 1999,
  series =	 {Tübinger Studientexte Informatik und Gesellschaft},
  language = {german}
}

@Book{floyd99:infor-praxis-wissen,
  author =	 {Christiane Floyd and Herbert Klaeren},
  title = 	 {Informatik als Praxis und Wissenschaft},
  publisher = 	 {Universität Tübingen},
  year = 	 1999,
  series =	 {Tübinger Studientexte Informatik und Gesellschaft},
  language = {german},
  note =	 {Hrsg. Johannes Busse}
}

@Book{ott99:ethik-infor,
  author =	 {Konrad Ott and Johannes Busse},
  title = 	 {Ethik in der Informatik},
  publisher = 	 {Universität Tübingen},
  year = 	 1999,
  series =	 {Tübinger Studientexte Informatik und Gesellschaft},
  note =	 {Hrsg. Herbert Klaeren}
}

@Book{reisin98:infor,
  author =	 {Fanny-Michaela Reisin and Ortwin Renn},
  title = 	 {Über Informatik reden},
  publisher = 	 {Universität Tübingen},
  year = 	 1999,
  series =	 {Tübinger Studientexte Informatik und Gesellschaft},
  language = {german},
  note =	 {Hrsg. Friedrich Diestelmeier und Herbert Klaeren}
}

@Book{schelhowe99:techn,
  author =	 {Heidi Schelhowe},
  title = 	 {Technikentwicklung als sozialer Gestaltungsprozeß},
  publisher = 	 {Universität Tübingen},
  year = 	 1999,
  series =	 {Tübinger Studientexte Informatik und Gesellschaft},
  language = {german},
  note =	 {Hrsg. Detlev Krause und Herbert Klaeren}
}

@Book{brodner99:infor-arbeit,
  author =	 {Peter Brödner},
  title = 	 {Informatik in der Arbeitswelt},
  publisher = 	 {Universität Tübingen},
  year = 	 1999,
  series =	 {Tübinger Studientexte Informatik und Gesellschaft},
  note =	 {Hrsg. Sylvia Rizvi und Herbert Klaeren}
}

@Book{wetzstein99:infor-leben,
  author =	 {Thomas A. Wetzstein and Hermann Dahm and Roland Eckert},
  title = 	 {Informatik im persönlichen Leben},
  publisher = 	 {Universität Tübingen},
  year = 	 1999,
  series =	 {Tübinger Studientexte Informatik und Gesellschaft},
  note =	 {Hrsg. Detlev Krause und Herbert Klaeren}
}

@Book{kubicek99:gefah-infor,
  author =	 {Herbert Kubicek},
  title = 	 {Möglichkeiten und Gefahren der "`Informationsgesellschaft"'},
  publisher = 	 {Universität Tübingen},
  year = 	 1999,
  series =	 {Tübinger Studientexte Informatik und Gesellschaft},
  note =	 {Hrsg. Sylvia Rizvi und Herbert Klaeren}
}

@Book{schinzel99:infor-gesch,
  author =	 {Britta Schinzel and Nadja Parpart and Till Westermayer},
  title = 	 {Informatik und Geschlechterdifferenz},
  publisher = 	 {Universität Tübingen},
  year = 	 1999,
  series =	 {Tübinger Studientexte Informatik und Gesellschaft},
  note =	 {Hrsg. Sylvia Rizvi und Herbert Klaeren}
}

@Book{busse99:dozen,
  author =	 {Johannes Busse},
  title = 	 {Dozentenhandbuch},
  publisher = 	 {Universität Tübingen},
  year = 	 1999,
  series =	 {Tübinger Studientexte Informatik und Gesellschaft},
  note =	 {Hrsg. Herbert Klaeren}
}

@Article{bkk98,
  author = 	 {Johannes Busse and Detlev Krause and Herbert Klaeren},
  title = 	 {Verbundlehre als didaktische Synthese von Ferne und Präsenz},
  journal = 	 {Didaktisches Design},
  year = 	 1998,
  number =	 {3},
  pages =	 {35-54},
  publisher = {Jansen-Verlag},
  language = {german},
  address = {Lüneburg}
}

@Booklet{ck98,
  title = 	 "Informatik: gestern, heute und morgen",
  author =	 "Christiane Floyd and Herbert Klaeren",
  howpublished = "Modul im Fernstudium Informatik und Gesellschaft (Erprobungsfassung)",
  address =	 "Universität Tübingen",
        language = {german},
  year =	 1998
}

@InProceedings{skt97,
  author =       "Michael Sperber and Herbert Klaeren and Peter Thiemann",
  title =        "Distributed Partial Evaluation",
  booktitle =    "PASCO'97: Second International Symposium on Parallel
                    Symbolic Computation",
  year =         1997,
  editor =       "Erich Kaltofen",
  publisher =    {World Scientific Publishing Company},
  address =      "Maui, Hawaii",
  language = {english},
  pages =        "80--87"
}

@InCollection{kfd97,
  author = 	 "Herbert Klaeren and Christiane Floyd and Friedrich Diestelmeier",
  title = 	 "Informatics and Society: A Curriculum for Distance Education",
  booktitle =	 "Foundations of Computer Science: Potential---Theory---Cognition",
  publisher =	 "Springer",
  year =	 1997,
  editor =	 "Christian Freksa and Matthias Jantzen and Rüdiger Valk",
  volume =	 1337,
  series =	 "Lecture Notes in Computer Science",
        language = {english},
  pages =	 "69-78"
}

@InProceedings{gk97,
  author = 	 "K John Gough and Herbert Klaeren",
  title = 	 "Executable Assertions and Separate Compilation",
  editor = 	 "Hans-Peter Mössenböck",
  volume =	 1204,
  series =	 "Lecture Notes in Computer Science",
  pages =	 "41-52",
  booktitle = "Proceedings Joint Modular Languages Conference",
  year = 	 1997,
        language = {english},
  publisher =	 "Springer"
}

@Misc{kl96,
  author =	 "Herbert Klaeren",
  title =	 "{Der Softwareingenieur am Scheidewege}",
  howpublished = {\url{http://pu.inf.uni-tuebingen.de/users/klaeren/herakles.ps.gz}},
  year =	 1996,
        language = {german},
  month =	 "Nov."
}

@TechReport{dfkk96,
  author = 	 "Friedrich Diestelmeier and Christiane Floyd and
		  Christel Keller and Herbert Klaeren",
  title = 	 "{Informatik und Gesellschaft --- ein
		  Fernstudienbaustein für das grundständige Studium an
		  Präsenzhochschulen}",
  institution =  "Deutsches Institut für Fernstudienforschung",
  year = 	 1996,
  type =	 "{Forschungsergebnisse und Materialien}",
        language = {german},
  address =	 "Tübingen"
}

@InProceedings{pkh96,
  author = 	 "Martin Plümicke and Herbert Klaeren and Eduard Hiti",
  title = 	 "Resolving of Overloading and Subtyping",
  pages =	 "286-291",
  booktitle =	 "Perspectives of System Informatics, Preliminary Proceedings",
  year =	 1996,
  address =	 "Akademgorodok, Novosibirsk",
        language = {english},
  month =	 "June"
}

@InCollection{kl96a,
  author = 	 "Herbert Klaeren",
  title = 	 "Programming Languages: A Framework for Comparison
		  and Choice",
  booktitle = "Programming Language Choice---Practice and Experience",
  publisher = "International Thomson Publishing",
  year = 	 1996,
  pages =        "7-27",
  chaoter =      2,
        language = {english},
  editor = 	 "Mark Woodman",
  annote = 	 "ISBN 1-85032-186-8"
}

@InProceedings{gk96,
  author = 	 "K John Gough and Herbert Klaeren",
  title = 	 "Eliminating Range Checks using {Static Single
		  Assignment} Form",
  year = 1996,
  publisher =	 "Australian Computer Science Society",
  booktitle = "Proceedings of 19th Australian Computer Science Conference",
        language = {english},
  address = 	 "Melbourne"
}

@Misc{kl95c,
  author =	 "Herbert Klaeren",
  title =	 "{Ethik und Informatik}",
  howpublished = {\url{http://pu.inf.uni-tuebingen.de/users/klaeren/ethik.ps.gz}},
  year =	 1995,
        language = {german},
  month =	 "Dez."
}

@TECHREPORT{pl,
	AUTHOR = {Herbert Klaeren},
	TITLE = {{Übersetzung einer einfachen Programmiersprache}},
	INSTITUTION = {Universität Tübingen},
	YEAR = 1995,
	TYPE = {Arbeitspapier},
        language = {german},
	MONTH = {Okt.}
}

@TechReport{pk95,
  author = 	 "Martin Plümicke and Herbert Klaeren",
  title = 	 "Concepts for Overloading and Subtyping in an
		  Algebraic Specification Language",
  institution =  "Universität Tübingen",
  year = 	 1995,
  type =	 "Berichte des Wilhelm-Schickard-Instituts",
        language = {english},
  number =	 "WSI-95-22"
}

@Misc{mk95,
  author = 	 "Andreas Möstel and Herbert Klaeren",
  title = 	 "Generation of Garbage Collector Performance Test
		  Beds Based on Probability Distributions",
        language = {english},
  howpublished = {\url{http://pu.inf.uni-tuebingen.de/users/klaeren/gcp.ps.gz}},
  year = 	 1995
}

@Article{bk95,
  author = 	 "Friedemann Banhart and Herbert Klaeren",
  title = 	 "A Graphical Query Generator for
    Clinical Research Databases",
  journal =	 "Methods of Information in Medicine",
  year =	 1995,
  volume =	 34,
        language = {english},
  pages =	 "328-339"
}

@InProceedings{kt95,
  author = 	 "Herbert Klaeren and Peter Thiemann",
  title = 	 "Merging Formal Methods With Rapid Prototyping",
  editor =	 "Martin Wirsing",
  pages =	 "39-46",
  booktitle =	 "17th Int. Confr. Software Engineering, Workshop on
  Formal Methods Application in Software Engineering Practice",
        language = {english},
  year =	 1995,
  publisher =	 "ACM SIGSOFT/ IEEE Computer Society TCSE"
}

@TechReport{bkr95,
  author = 	 "Johannes Busse and Herbert Klaeren and Gabriele Reich",
  title = 	 "{Informatikkenntnisse von 
        Jugendlichen, untersucht am Beispiel des 11. Bundeswettbewerbs
        Informatik}",
  institution =  "Universität Tübingen",
  year = 	 1995,
  type =	 "Berichte des Wilhelm-Schickard-Instituts",
        language = {german},
  number =	 "WSI-95-2"
}

@Misc{kl95b,
  author =	 "Herbert Klaeren",
  title =	 "{Thesen zur Programmierung}",
  howpublished = {\url{http://pu.inf.uni-tuebingen.de\-/users/klaeren/thesen.ps.Z}},
  year =	 1995,
        language = {german},
  month =	 "Apr."
}

@InCollection{kl95a,
  author = 	 "Herbert Klaeren",
  title = 	 "{Strukturierte Programmierung}",
  booktitle = "Kleines Lexikon der Informatik",
  publisher =	 "R. Oldenbourg Verlag",
  year =	 1995,
  pages = {540-541},
  editor =	 "G. Zilahi-Szabó",
  ISBN = 	 "3-486-22907-9",
        language = {german},
  address =	 "München"
}

@TechReport{pk94,
  author = 	 "Martin Plümicke and Herbert Klaeren",
  title = 	 "Subtyping and Overloading in a Functional Programming Language",
  institution =  "Universität Tübingen",
  year = 	 1994,
  type =	 "Berichte des Wilhelm-Schickard-Instituts",
        language = {english},
  number =	 "WSI-94-14"
}

@TechReport{gk94,
  author = 	 "K. John Gough and Herbert Klaeren",
  title = 	 "Eliminating Range Checks using Static Single Assignment Form",
  institution =  "Universität Tübingen",
  year = 	 1994,
  type =	 "Berichte des Wilhelm-Schickard-Instituts",
  number =	 "WSI-94-13",
        language = {english},
  note =	 "ISSN 0946-3852"
}

@Misc{kl94c,
  author =	 "Herbert Klaeren",
  title =	 "{Wie hält man einen Informatik-Seminarvortrag?}",
  howpublished = {\url{http://pu.inf.uni-tuebingen.de\-/users/\-klaeren/\-seminar.ps.Z}},
  year =	 1994,
        language = {german},
  month =	 "Okt."
}

@Article{kl94b,
  author = 	 "Herbert Klaeren",
  title = 	 "{Überlegungen zum Programmierstil}",
  journal =	 "Computer und Unterricht",
  year =	 1994,
  volume=4,
  month="November",
  number =	 16,
        language = {german},
  pages =	 "52-54"
}

@InProceedings{bkz94b,
  author = 	 "Friedemann Banhart and Herbert Klaeren and Eberhard Zrenner",
  title = 	 "{Eine graphische Oberfläche für die
		  Generierung von Datenbankanfragen, basierend auf
		  einem objektorientierten Datenmodell}",
  volume =	 13,
  pages =	 "64-66",
  booktitle =	 "GI Datenbank-Rundbrief",
  year =	 1994,
        language = {german},
  month =	 "Mai"
}

@InProceedings{bkz94a,
  author = 	 "Friedemann Banhart and Herbert Klaeren and Eberhard Zrenner",
  title = 	 "An Object-Oriented Database Front End for Clinical
		  Research Information Systems",
  editor =	 "P. Barahona and M. Veloso and J. Bryant",
  pages =	 "506-510",
  booktitle =	 "Medical Informatics in Europe: MIE 94. Proc.\ 12th
		  Int.\ Congress of the European Federation for
		  Medical Informatics",
        language = {english},
  year =	 1994
}

@Article{kl94a,
  author = 	 "Herbert Klaeren",
  title = 	 "{Probleme des Software Engineering.  Die
		  Programmiersprache --- Werkzeug des Softwareentwicklers}",
  journal =	 "Informatik-Spektrum",
  year =	 1994,
  volume =	 17,
        language = {german},
  pages =	 "21--28"
}

@Article{kl93,
  author = 	 "Herbert Klaeren",
  title = 	 "{Vom Problem zum Programm --- Entstehung der Wissenschaft
    Informatik}",
  journal = 	 "Erfurter Universitätslesungen",
        language = {german},
  year = 	 1993
}

@TECHREPORT{kl92,
	AUTHOR = {Herbert Klaeren},
	TITLE = "{Gibt es Software Engineering?}",
	INSTITUTION = {Universität Tübingen},
	YEAR = 1992,
	TYPE = {Berichte des Wilhelm-Schickard-Instituts},
        language = {german},
	NUMBER = {WSI-92-11}
}

@techreport{ha,
	author="Herbert Klaeren",
	title="Efficient Implementation of a Functional Programming Language",
	institution={Universität Tübingen},
	type={Arbeitspapier},
	month={Feb.},
        language = {english},
	year=1991}

@techreport{yacc,
	author="Herbert Klaeren",
	title="Using {\tt yacc} with {Modula-2}",
	institution="{Universität Tübingen}",
	type="{Berichte des Wilhelm-Schickard-Instituts}",
        language = {english},
	year=1991}

@inproceedings{lough,
	author="Herbert Klaeren",
	title="Some Elements of a {Modula-2} Development Environment",
	booktitle="Second International Modula-2 Conference",
	publisher="Loughborough University of Technology",
	pages={225--233},
        language = {english},
	year=1991}

@book{info1,
	author="Herbert Klaeren",
	title="{Vom Problem zum Programm --- Eine Einführung in die
	Informatik}",
	publisher="Teubner Verlag",
	year=1990,
        language = {german},
        note = "2.~Aufl. 1991"
}
@inproceedings{honnef1,
	author="Herbert Klaeren",
	title="{ModAs/86 --- Eine funktionale Programmierumgebung}",
	booktitle="Workshop Programmierumgebungen für funktionale und
	logische Sprachen",
	address="Bad Honnef",
	pages={147--151},
        language = {german},
	year=1990}

@article{kt89,
	author="Herbert Klaeren and Peter Thiemann",
	title="A Clean {Modula-2} Interface to Abstract Data Types",
	journal="Structured Programming",
	volume=11,
        numer = 2,
	pages="69--77",
	year=1990}

@techreport{m2util,
	author="Herbert Klaeren",
	title="{Celerity Modula-2 Utilities Reference Manual}", 
	institution={Universität Tübingen},
        language = {english},
	year=1989}

@article{bled1,
	author="Herbert Klaeren",
	title="Embedding Functionally Described Abstract Data Types into 
	       {Modula-2} Programs",
	journal="Microprocessors and Microsystems",
	volume=14,
	number=3,
	year=1990,
        language = {english},
	pages="161--166"}

@inproceedings{bled,
	author="Herbert Klaeren",
	title="Embedding Functionally Described Abstract Data Types into 
	       {Modula-2} Programs",
	booktitle="First International Modula-2 Conference", 
	address="Bled", 
	year=1989,
        language = {english},
	pages="115--119"}

@inproceedings{ki89,
	author="Herbert Klaeren and Klaus Indermark",
	title="Efficient Implementation of an Algebraic Specification Language",
        booktitle="Esprit METEOR Workshop Algebraic Methods, Theory, Tools, and 
		Applications (Passau 1987)",
        year=1989, 
	publisher="Springer Verlag",
	series="Lecture Notes in Computer Science",
	volume=394, 
        language = {english},
	pages="69--90"}

@techreport{m2comp,
	author="Herbert Klaeren",
	title="{Celerity Modula-2 Compiler Reference Manual}", 
	institution={Universität Tübingen},
        language = {english},
	year=1988}

@techreport{kl88,
	author="Herbert Klaeren",
	title="{ModAs/86 User Manual}",
	institution={Universität Tübingen},
        language = {english},
	year= 1988}

@techreport{kl87,
	author="Herbert Klaeren",
	title="{Ein algebraischer Ansatz zur Rekursionselimination}",
	type="Habilitationsschrift",
	institution="RWTH Aachen",
	year= 1988}

@article{ik87b,
	author="Klaus Indermark and Herbert Klaeren",
	title="Compiling {Fibonacci}-like Recursion",
	journal="SIGPLAN Notices",
	volume=22,
	year=1987,
	number=6,
        language = {english},
	pages="101--108"}

@techreport{ki87,
	author="Herbert Klaeren and Klaus Indermark",
	title="A New Implementation Technique for Recursive Function 
	       Definitions",
	type="Aache\-ner Informatik-Berichte",
	institution="RWTH Aachen",
	number="87--10",
        language = {english},
	year=1987}

@inproceedings{ik87a,
	author="Klaus Indermark and Herbert Klaeren",
	title="Efficient Implementation of Structural Recursion",
	booktitle="Proc.\ Fundamentals of Computation Theory", 
        publisher="Springer Verlag",
	series="Lecture Notes in Computer Science",
	volume=278,
	year=1987,
        language = {english},
        pages="204--213"}

@article{kl84,
	author="Herbert Klaeren",
	title="A Constructive Method for Abstract Algebraic Software 
	       Specification",
	journal=tcs,
	volume=30,
	year=1984,
        language = {english},
	pages= "139--204"}

@book{kl83,
	author="Herbert Klaeren",
	title="{Algebraische Spezifikation --- Eine Einführung}",
	publisher="Springer Verlag",
	year=1983,
        language = {german},
	address="Berlin-Heidelberg-New York"}

@inproceedings{kl82,
	author="Herbert Klaeren",
	title="On Parameterized Abstract Software Modules Using Inductively 
               Specified Operations",
	booktitle="AFCET Coll.\ Les Math\'ematiques de l'In\-for\-ma\-ti\-que", 
	year=1982,
        publisher="Dunod",
	address="Paris",
        language = {english},
	pages="289--300"}

@techreport{atfs,
	author="Klaus Indermark and Herbert Klaeren",
	title="{Automatentheorie und Formale Sprachen I}",
	institution="RWTH Aachen", 
	type="Schriften zur Informatik und Angewandten Mathematik",
	number=71, 
        language = {german},
	year=1981}

@inproceedings{kl81b,
	author="Herbert Klaeren",
	title="The {SRDL} Specification Experiment",
	booktitle="Workshop on Program Specification", 
	year=1981,
        publisher="Springer Verlag",
	series="Lecture Notes in Computer Science",
	volume=134, 
        language = {english},
	pages="282--293"}

@inproceedings{kl81a,
	author="Herbert Klaeren",
	title="Recursive Definitions of Operations in Universal Algebras",
	booktitle="Workshop on Program Specification", 
	year=1981,
        publisher="Springer Verlag",
	series="Lecture Notes in Computer Science",
	volume=134, 
        language = {english},
	pages="268--281"}

@inproceedings{ks81,
	author="Herbert Klaeren and Martin Schulz",
	title="Computable Algebras, Word Problems, and Canonical Term 
	       Algebras",
	booktitle="5.\ GI Fachtagung Theoretische Informatik",
	year=1981,
	publisher="Springer Verlag",
	series="Lecture Notes in Computer Science",
	volume=104, 
        language = {english},
	pages="203--213"}

@techreport{kp81b,
	author="Herbert Klaeren and Heiko Petzsch",
	title="Algebraic Software Specification and Compiler
	       Generation---A Case Study",
	institution="RWTH Aachen", 
	type="Schriften zur Informatik und angewandten Mathematik",
	number=68, 
        language = {english},
	year=1981}

@inproceedings{kp81a,
	author="Herbert Klaeren and Heiko Petzsch",
	title="The Development of an Interpreter by Means of Abstract 
               Algebraic Software Specifications",
	booktitle="Int.\ Colloquium on Formalization of Programming Concepts", 
	publisher="Springer Verlag",
	series="Lecture Notes in Computer Science",
	volume=107, 
	year=1981,
        language = {english},
	pages="335--346"}

@inproceedings{kl80c,
	author="Herbert Klaeren",
	title="A Simple Class of Algorithmic Specifications for Abstract 
	       Software Modules",
	booktitle="9th Symposium on Math.\ Foundations of Computer Science", 
        publisher="Springer Verlag",
	series="Lecture Notes in Computer Science",
	volume=88, 
	year=1980,
        language = {english},
	pages="362--374"}

@article{klbib,
	author="Herbert Klaeren",
	title="Bibliography on Algebraic Software Specification",
	journal="EATCS Bulletin",
	volume=12,
	year=1980, 
        language = {english},
	pages="76--87"}

@article{kl80b,
	author="Herbert Klaeren",
	title="An Abstract Software Specification Technique Based on Structural
	       Recursion",
        journal="SIGPLAN Notices",
	volume=15,
	year=1980,
	number=3, 
        language = {english},
	pages="28--34"}

@PhdThesis{kl80a,
	author="Herbert Klaeren",
	title="{Eine Klasse von Algebren mit struktureller Rekursion
	   und ihre Anwendung bei der abstrakten Software-Spezifikation}",
  school = 	 "RWTH Aachen",
        language = {german},
  year = 	 1980
}

@techreport{kl78,
 	author="Herbert Klaeren",
	title="{Datenräume mit algebraischer Struktur}",
	institution="RWTH Aachen", 
	type="Schriften zur Informatik und Angewandten Mathematik",
	number=43, 
        language = {german},
	year=1978}

@techreport{kl75b,
	author="Herbert Klaeren",
	title="{Potenzkategorien und ihre Anwendung auf den Beweis von
	       Programmeigenschaften}",
	institution="{Universität Bonn}", 
	type="Informatik-Berichte",
	number=8, 
	note={(Ausf.\ Fassung)},
        language = {german},
	year=1975}

@inproceedings{kl75a,
	author="Herbert Klaeren",
	title="{Potenzkategorien und ihre Anwendung auf den Beweis von
	       Programmeigenschaften}",
        booktitle="Automata Theory and Formal Languages, 2nd GI Conference", 
        year=1975,
	publisher="Springer Verlag",
	series="Lecture Notes in Computer Science",
	volume=33, 
	note={(Kurzfassung)},
        language = {german},
	pages="252--258"}