Algebraic theory for true concurrency - Wang, Yong (Academic Press, an imprint of Elsevier, 2023)