Algebraische Spezifikation und Korrektheit von Compilern | lit.salon