WILF, H. S.; PETKOVSEK, M. A High-tech Proof of the Mills-Robbins-Rumsey Determinant Formula. The Electronic Journal of Combinatorics, v. 3, n. 2, p. R19, 3 Oct. 1995.