Deductive Synthesis of Min-Max-Sort Using Multisets in Theorema | IEEE Conference Publication | IEEE Xplore