Literatur zu regelbasierten Systemen

• Franz Baader and Tobias Nipkow. Term Rewriting and All That.
  Cambridge University Press, Cambridge, UK, 1998.
• Hendrik Pieter Barendregt. The Lambda Calculus---Its Syntax and Semantics. North-Holland, Amsterdam, 1981.
• Heiko Dörr. Efficient Graph Rewriting and its Implementation. Number 153 in Lecture Notes in Computer Science. Springer, 1995.
• Hartmut und Karsten Ehrig, Ulrike Prange und Gabriele Taentzer.
  Fundamentals of Algebraic Graph Transformation.
  EATCS Monographs on Theoretical Computer Science, Springer 2006.
• Gregor Engels, Hartmut Ehrig, Hans-Jörg Kreowski, and Grzegorz Rozenberg, editors.
  Handbook of Graph Grammars and Computing by Graph Transformation, Vol.II: Applications, Languages, and Tools.
  World Scientific, Singapore, 1999.
• J.R. Hindley and J.P. Seldin. Introduction to Combinators and Lambda Calculus, volume 1 of London Mathematical Society Student Texts. Cambridge University Press, 1986.
• Jan Willem Klop. Term rewriting systems. In S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum, editors, Handbook of Logic in Computer Science}, volume 2, pages 1--116. Oxford University Press, 1992.
• Rinus Plasmeijer and Marko van Eekelen. Functional Programming and Parallel Graph Rewriting. Addison-Wesley, 1993.
• Grzegorz Rozenberg, editor.
  Handbook of Graph Grammars and Computing by Graph Transformation, Vol.I: Foundations.
  World Scientific, Singapore, 1997.
• Grzegorz Rozenberg and Arto Salomaa, editors.
  Handbook on Formal Languages. 1: Word, Language, Grammar, 1997. 2: Linear Modeling: Background and Application, 1999. 3: Beyond Words, 1999.
  Heidelberg-New York: Springer.
• Terese (Marc Bezem, Jan Willem Klop, and Roel de Vrijer, editors). Term Rewriting Systems, volume 55 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge, UK, 2003.