Lynch, James F. (September 1975). "The equivalence of theorem proving and the interconnection problem". ACM SIGDA Newsletter. 5 (3): 31–36. doi:10.1145/1061425.1061430.
Pegg Jr., Ed (2007). "Beyond Sudoku"(PDF). Mathematica Journal. 10 (3): 469–73. Archived from the original(PDF) on 3 March 2016. Retrieved 11 September 2011.
Pegg Jr., Ed (2007). "Beyond Sudoku"(PDF). Mathematica Journal. 10 (3): 469–73. Archived from the original(PDF) on 3 March 2016. Retrieved 11 September 2011.