@book{BGP92, <br>AUTHOR = {Buchmann, J. and Ganzinger, H. and Paul, W.J.},<br>TITLE = {Informatik,  Festschrift zum 60. Geburtstag von Günter Hotz},<br>VOLUME = {1}, <br>YEAR = {1992},<br>SERIES = {Teubner-Texte zur Informatik},<br>PUBLISHER = {Teubner},<br>}