Cardelli. Strand Algebras for DNA Computing. Springer Berlin Heidelberg, 2009, doi:10.1007/978-3-642-10604-0_2.