TY  - GEN
AU  - Desmonde,W.H.
TI  - Gödel, Non-Deterministic Systems, and Hermetic Automata
ER  -