1. Informatik und Recht.- 1.1. Untersuchungsansatz.- 1.2. Objektivierung und Entfremdung.- 1.3. Ansätze zu einer Theorie der Formalisierung.- 1.3.1. Begriffe und Formalisierungsgebiete (Regelungen, Arbeit, Kommunikation).- 1.3.2. Der Prozeß der Formalisierung und verwandte Begriffe.- 1.3.3. Ansätze zu einer Theorie der Formalisierung und des Informationstechnikeinsatzes in der öffentlichen Verwaltung.- 2. Formale Methoden im Recht - Bestandsaufnahme.- 2.1. Formalisierung juristischer Entscheidungen.- 2.1.1. Syllogistik.- 2.1.2. Strukturierung juristischer Entscheidungen: Massenentscheidungen der Verwaltungsautomation.- 2.2. Formale Methoden als Grundlage von Datenverarbeitung im Recht.- 2.2.1. Logik.- 2.2.2. Mathematik.- 2.2.3. Informatik.- 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.1.1. Formalisierung der Verwaltungsarbeit.- 6.1.2. Auswirkungen der Formalisierung auf die Bürger-Verwaltung-Kommunikation.- 6.2. Thesen zu den Auswirkungen der Formalisierung.- 6.2.1. Informationstechnik und Gesellschaft.- 6.2.2. Formalisierung und Entfremdung.- 7. Literaturverzeichnis.