Arwen Brenneman Anne Condon Strand design for biomolecular computation. 39-58 2002 287 Theor. Comput. Sci. 1 db/journals/tcs/tcs287.html#BrennemanC02