Synthesis of a Family of Recursive Sorting Procedures