Treatise on Spherical Trigonometry, and Its Application to G by John Casey