Refinement monoids, equidecomposability types, and Boolean inverse semigroups - Wehrung, Friedrich 1961- (Springer, 2017)