J. Goldberg, J. Helfman, и L. Martin. CHI '08: Proceeding of the twenty-sixth annual SIGCHI conference on Human factors in computing systems, стр. 1153--1156. New York, NY, USA, ACM, (2008)
J. Kim, D. Gunn, E. Schuh, B. Phillips, R. Pagulayan, и D. Wixon. CHI '08: Proceeding of the twenty-sixth annual SIGCHI conference on Human factors in computing systems, стр. 443--452. New York, NY, USA, ACM, (2008)
A. Kittur, E. Chi, и B. Suh. CHI '08: Proceeding of the twenty-sixth annual SIGCHI conference on Human factors in computing systems, стр. 453--456. New York, NY, USA, ACM, (2008)
H. Xiong, P. Curzon, S. Tahar, и A. Blandford. Integrated Formal Methods, 2335, Springer Berlin, Heidelberg, The original publication is available at www.springerlink.com.(2002)