1. Informatik und Recht.- 1.1. Untersuchungsansatz.- 1.2. Objektivierung und Entfremdung.- 1.3. Ansätze zu einer Theorie der Formalisierung.- 2. Formale Methoden im Recht - Bestandsaufnahme.- 2.1. Formalisierung juristischer Entscheidungen.- 2.2. Formale Methoden als Grundlage von Datenverarbeitung im Recht.- 2.3. Grundsätzliche Probleme bei der Formalisierung im Recht.- 3. Beispiel: Formalisierung der gesetzlichen Erbfolgeregelung - Vergleichende Betrachtung von Formalisierungsinstrumenten.- 3.1. Ein graphentheoretischer Formalisierungsansatz.- 3.2. Die Formalisierung der Vorschriften der gesetzlichen Erbfolge durch Anwendung der Entscheidungstabellentechnik.- 3.3. Diskussion und Vergleich der Formalisierungsansätze.- 4. Beziehungen zu Konzepten der Rechtstheorie.- 5. Vergleich formaler Methoden im Recht.- 5.1. Klassifizierung der Formalisierungsmethoden.- 5.2. Kriterienkatalog für den Vergleich formaler Methoden im Recht anhand der Bedeutungsdimensionen "Formalisierung rechtlicher Regelungen", "Formalisierung von Arbeit" und "Formalisierung der Bürger-VerwaltungKommunikation".- 5.3. Tabellarische Obersicht über die Ergebnisse des Vergleichs der behandelten formalen Methoden im Recht.- 6. Auswirkungen der Formalisierung.- 6.1. Auswirkungen der Formalisierung und Automatisierung am Beispiel der Steuerverwaltung.- 6.2. Thesen zu den Auswirkungen der Formalisierung.- 7. Literaturverzeichnis.