"Regular realizability problems and models of a generalized nondeterminism"

Alexander A. Rubtsov, Mikhail N. Vyalyi (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics