Perspektiven formaler Methoden im Recht 1986 [neunzehnhundertsechsundachtzig]Gerhard RingwaldÉpuiséPrévenez-moi