Theoretical and experimental DNA computation (Springer, 2005)