Uwe Schmidt Reinhard Völler Die formale Entwicklung der maschinenunabhängigen Zwischensprache CAT. 57-64 1981 conf/gi/1981 GI Jahrestagung db/conf/gi/gi81.html#SchmidtV81