Text this: The Hankel probability distribution--the distribution for the product of two exponentially-distributed random variables / R.M. Jones.