Mergesort: stable divide-and-conquer sorting via recursive splitting and sequential merging

Original label: Mergesort: stable divide-and-conquer sorting via recursive splitting and sequential merging