TY  - RPRT
TI  - Proceedings Machines, Computations and Universality 2013
AU  - Turlough Neary
AU  - Matthew Cook
PY  - 2013
DO  - 10.4204/eptcs.128
UR  - https://arxiv.org/abs/1309.1043
ID  - 1309.1043
ER  -