1. Reasoning about naming systems
2. Ding W. and Marchionini G. 1997. A Study on Video Browsing Strategies. Technical Report. University of Maryland at College Park. Ding W. and Marchionini G. 1997. A Study on Video Browsing Strategies. Technical Report. University of Maryland at College Park.
3. The cubic mouse
4. Tavel P. 2007. Modeling and Simulation Design. AK Peters Ltd. Natick MA. Tavel P. 2007. Modeling and Simulation Design. AK Peters Ltd. Natick MA.
5. Sannella M. J. 1994. Constraint Satisfaction and Debugging for Interactive User Interfaces. Doctoral Thesis. UMI Order Number: UMI Order No. GAX95-09398. University of Washington. Sannella M. J. 1994. Constraint Satisfaction and Debugging for Interactive User Interfaces. Doctoral Thesis. UMI Order Number: UMI Order No. GAX95-09398. University of Washington.