Synthesis of Merging algorithms on binary trees using multisets in Theorema | IEEE Conference Publication | IEEE Xplore