@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},
}