1. Gopal Prasad and Sai-Kee Yeung, Fake projective planes, Invent. Math. 168 (2007), no. 2, 321–370.[MR]