Perspektiven formaler Methoden im Recht 1986 [neunzehnhundertsechsundachtzig]Gerhard RingwaldEsaurito4,3Avvisami