Text editing. A handbook for students and practitioners by