Strand design for biomolecular computation. - Arwen Brenneman; Anne Condon (Theor. Comput. Sci., 2002)