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