1. Bowman, M., Debray, S. K., and Peterson, L. L. 1993. Reasoning about Naming Systems. ACM Trans. Program. Lang. Syst. 15, 5 (Nov. 1993), 795–825. DOI= http://doi.acm.org/10.1145/161468.16147.
2. Ding, W. and Marchionini, G. 1997. A Study on Video Browsing Strategies. Technical Report. University of Maryland at College Park.
3. Fröhlich, B. and Plate, J. 2000. The Cubic Mouse: A New Device for Three-Dimensional Input. In Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (The Hague, The Netherlands, April 01–06, 2000). CHI '00. ACM, New York, NY, 526–531. DOI= http://doi.acm.org/10.1145/332040.332491.
4. 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.