Desmonde, W. H. <br/><br/>
Gödel, Non-Deterministic Systems, and Hermetic Automata