Untersuchungen zur formalen Beschreibung der Codegenerierung am Beispiel des COBOL-1630-Compilers