On Levy's downcrossing theorem and various extensions
1981 ◽
pp. 191-205
◽