Refinement monoids, equidecomposability types, and Boolean inverse semigroups / Friedrich Wehrung. Cham, Switzerland : Springer, 2017, © 2017