Title: The automatic correction of errors made by short-hand machine operators