Wilf, H. S., and M. Petkovsek. “A High-Tech Proof of the Mills-Robbins-Rumsey Determinant Formula”. The Electronic Journal of Combinatorics, Vol. 3, no. 2, Oct. 1995, p. R19, doi:10.37236/1277.