"Algebraic analysis of nondeterministic behavior."

Sany M. Leinwand, T. Lamdan (1980)
a service of Schloss Dagstuhl - Leibniz Center for Informatics