L. A. Caritá and C. P. F. dos Santos, “Detailed demonstrations of the relations between coordinate systems in the celestial sphere”, CeN, vol. 44, p. e33, Jul. 2022.