<bibtex> @book{buendgen98,
author = {Reinhard Bündgen}, title = {Termersetzungssysteme; Theorie, Implementierung, Anwendung}, publisher = {Vieweg}, year = {1998}
} </bibtex>
