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