1. K. Culik II and T. Harju, Dominoes over a Free Monoid, Theoret. Computer Sci.
18, 279–300 (1982).
2. K. Culik II and T. Harju, Splicing Semigroups of Dominoes and DNA, University of South Carolina, Technical Report TR-89001.
3. K.L. Denninghoff and R.W. Gatterdam, On the Undecidability of Splicing Systems, Dept. of Math. Sciences, University of Alaska, Fairbanks, manuscript.
4. T. Head, Formal Language Theory and DNA: An Analysis of the Generative Capacity of Specific Recombinant Behaviors, Bull. of Math. Biology
49, 737–759 (1987).
5. J. E. Hopcroft and J. D. Ullman, Introduction to Automata Theory, Languages, and Computation. Reading, MA: Addison-Wesley (1979).