Richard M. Karp Claire Kenyon Orli Waarts Error-resilient DNA computation. 450-466 1999 15 Random Struct. Algorithms 3-4 db/journals/rsa/rsa15.html#KarpKW99