Korrekte Programme zeichnen sich durch Widerspruchsfreiheit aus und gute überdies noch durch eine klare, hierarchische, modulare Struktur. Für korrekte und besonders für gute gesetzliche Regelwerke ...