Struktur und Algorithmen eines Formelauswertesystems für die Datenverkehrstheorie | lit.salon