Vincent Vatter: Enumeration Schemes for Restricted Permutations. Comb. Probab. Comput. 17(1): 137-159 (2008)