Yoshio Hara

• Eine klassen-definierende höherstufige Attributenlogik