PaperREVISING DOCUMENTS WITH TEXT EDITORS, HANDWRITING-RECOGNITION SYSTEMS, AND SPEECH-RECOGNITION SYSTEMS.