Mixing time of the Rudvalis shuffle. Wilson, David Bruce — 2003 Electronic Communications in Probability [electronic only]