D. Snyder, “Products of p-Adic Valuation Trees”, PUMP J. Undergrad. Res., vol. 7, pp. 299–322, Nov. 2024.