A note on double insertion/deletion correcting codes | IEEE Journals & Magazine | IEEE Xplore