Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache
Rolf Stadler
Find this book
Open Library