Bu türde 1 kitap
Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache
Rolf Stadler
