Biomolecular Computation for Bionanotechnology - Liu (IEEE, 2007)