An automatic dictionary and the verification of machine-readable text | IBM Journals & Magazine | IEEE Xplore