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

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