Asymptotic independence of the numbers of high and low level crossings of stationary Gaussian processes - Berman, S. M (Ann. Math. Statist, 1971)