Luca Cardelli. Strand Algebras for DNA Computing. In Russell J. Deaton, Akira Suyama, editors, DNA Computing and Molecular Programming, 15th International Conference, DNA 15, Fayetteville, AR, USA, June 8-11, 2009, Revised Selected Papers. Volume 5877 of Lecture Notes in Computer Science, pages 12-24, Springer, 2009. [doi]