doi dblp Spelling checkers, spelling correctors and the misspellings of poor spellers Roger Mitton 1987 Volume 23 Issue 5