Permutations and Pairs of Dyck Paths. (12th January 2013)