<bibtex> @book{drosten89,
author = {Klaus Drosten}, title = {Termersetzungssysteme}, number = {210}, series = {Informatik--Fachberichte}, publisher = {Springer--Verlag}, address = {Berlin Heidelberg}, year = {1989}
} </bibtex>
