Humanized input: Techniques for reliable keyed input - Gilb Tom; Weinberg Gerald M (Wellesley QED information sciences, 1984)