H. S. Wilf and M. Petkovsek, “A High-tech Proof of the Mills-Robbins-Rumsey Determinant Formula”, Electron. J. Combin., vol. 3, no. 2, p. R19, Oct. 1995.