Joint cumulative distribution function of order statistics of n iid. U(0,1)-distributed random variables
Useful links