Institut für Mathematische Maschinen und Datenverarbeitung (Erlangen)