Text this: Methods and applications of error-free computation /