Wilf, Herbert S., and Marko Petkovsek. 1995. “A High-Tech Proof of the Mills-Robbins-Rumsey Determinant Formula”. The Electronic Journal of Combinatorics 3 (2), R19. https://doi.org/10.37236/1277.