Refinement Monoids, Equidecomposability Types, and Boolean Inverse Semigroups (2017)Paperback - 2017, 10 September 2017

Offers a new, universal algebraic and lattice-theoretical approach Provides tools for further work, for example on varieties of algebras, but also on operator theory Includes many examples and counterexamples