Refinement Monoids, Equidecomposability Types, and Boolean Inverse Semigroups - Friedrich Wehrung (Springer, 2017)