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