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