C. Ege, “Devils playground, Box Elder County”, UGA-Guides, vol. 48, no. 1, pp. 1-7, Dec. 2019.