Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache

by Rolf Stadler