1 livres dans ce genre
Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache
Rolf Stadler
