The probability distribution for the ratio of variables having a normal distribution - Jones, Richard M. 1892-1945 (National Geodetic Survey, 1981)