Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache by Rolf Stadler | Menrva Books | MenrvaBooks