Wehrung, F.
Refinement monoids, equidecomposability types, and Boolean inverse semigroups
Cham, Switzerland : Springer, 2017. vii, 240 p. -- (Lecture notes in mathematics ; vol. 2188) 
QA182 W44