Perspektiven formaler Methoden im Recht 1986 - Ringwald, Gerhard (Neue Methoden im Recht, 1986)