G. P. Steck "Rectangle Probabilities for Uniform Order statistics and the Probability That the Empirical Distribution Function Lies Between Two Distribution Functions," The Annals of Mathematical Statistics, Ann. Math. Statist. 42(1), 1-11, (February, 1971)