On the product of correlated normal random variables and the noncentral chi-square difference distribution - Robert E. Gaunt (2024)