"The Boolean Closures of the Deterministic and Nondeterministic ..."

Detlef Wotschke (1973)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics