Dieter Hutter PhD-Thesis, University of Karlsruhe, 1991.
BibTeX
http://www.dfki.de/vse/papers/hutter91.ps.gz