Title: Untersuchungen Zur Formalisierung Im Recht Als Beitrag Zur Grundlagenforschung Juristischer Datenverarbeitung (UFORED)