Martyn Amos Gheorghe Paun Grzegorz Rozenberg Arto Salomaa Topics in the theory of DNA computing. 3-38 2002 287 Theor. Comput. Sci. 1 db/journals/tcs/tcs287.html#AmosPRS02