"An interpreter for a nondeterministic language."

Jacques Cohen, Robert Stachel (1980)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics