1. A q-analog of Ljunggren's binomial congruence, 23rd International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2011);Straub;Discrete Math. Theor. Comput. Sci. Proc., AO, Assoc. Discrete Math. Theor. Comput. Sci., Nancy,2011
2. Demonstration of a theorem relating to prime numbers;Babbage;Edinburgh Philos. J.,1819
3. A $p$-adic supercongruence conjecture of van Hamme
4. A q-analogue of Lehmer's congruence