Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat: Combinatorial Techniques for Proof-Based Synthesis of Sorting Algorithms. SYNASC 2015: 137-144