Sun, Yongqi, Yang, Yuansheng, Lin, Xiaohui, and Zheng, Wenping, “The value of the Ramsey number R4(C4)”, A Canadian journal of applied mathematics, computer science and statistics, vol. 73, Jun. 2007.