Z property for the shuffling calculus. - Koji Nakazawa; Ken-etsu Fujita; Yuta Imagawa (Math. Struct. Comput. Sci., 2022)