Refinement Monoids, Equidecomposability Types, and Boolean Inverse Semigroups | lit.salon