1. Aanderaa, S., Belsnes, D.: Decision problems for tag systems, Journal of Symbolic Logic, Vol. 36 (1971), pp. 229–239
2. Börger, E.: A new general approach to the theory of the many-one equivalence of decision problems for algorithmic systems, Bericht Nr. 30 der Schriften zur Informatik und angewandten Mathematik RWTH Aachen, 1976
3. Falkenberg, B.: Halting problems of tag-systems with arbitrary deletion number, Notices of the American Mathematical Society, Vol. 24 (1977), Abstract 77T-E40
4. Minsky, M.L.: Recursive unsolvability of Post's problem of tag and other topics in the theory of Turing machines, Annals of Mathematics, Vol. 74 (1961), pp. 437–455
5. Minsky, M.L.: Computation: finite and infinite machines, Prentice-Hall, 1967