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