Proofreading Tile Sets: Error Correction for Algorithmic Self-Assembly. - Erik Winfree; Renat Bekbolatov (DNA, 2003)