Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache
-
häftad
,
Tyska, 1991