Recompilation von maschinenorientierten Prüfprogrammen durch syntax- und attributgesteuerte Translation. - Peter Thiel (1989)