1 libri in questo genere
Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache
Rolf Stadler