On the Size of Optimal Three-Error-Correcting Binary Codes of Length 16 | IEEE Journals & Magazine | IEEE Xplore