R. Stadler: Ausführbare Spezifikatin von Directory-Systemen in einer logischen Sprache, 1991