Alexandru, A.; Ciobanu, G. Generalized Multisets: From ZF to FSM. Comput. Inform. 2016, 34, 1133-1150.