Compiler implementation verification through rigorous syntactical code inspection - Hoffmann, Ulrich (Bericht ;, 1998)