Small weakly universal Turing machines | Publicación