The reliability of k out of n systems. The Annals of Probability, 11(3):760--764 (1983)

by P J Boland, F Proschan