Unsolvability of the equivalence problem for α-free nondeterministic generalized machines. - Griffiths, T. V. (Journal of the ACM, 1968)