Command Management System for Next-Generation User Input. - Mitchell Tsai; Peter L. Reiher; Gerald J. Popek (Workshop on Hot Topics in Operating Systems, 1999)