Formal development of hybrid user-computer interfaces with advanced forms of user assistance. - Gerlach, James H.; Kuo, Feng-Yang (J. Syst. Softw., 1991)