Ulrich Hoffmann: Compiler implementation verification through rigorous syntactical code inspection. University of Kiel, Germany 1998, 1-127