Proceedings Machines, Computations and Universality 2013 | Publicación