1 books in this genre
Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache
Rolf Stadler