H. R. Cravat, “IV. — « Leapfrog » Barometric Leveling”, IHR, no. 1, Apr. 2018.