Wilf, H. S.; Petkovsek, M. A High-Tech Proof of the Mills-Robbins-Rumsey Determinant Formula. Electron. J. Combin. 1995, 3, R19.