Check out
Addy Lamport’s
Shuffle