https://1library.org/document/z3g8nw8y-partial-actions-inverse-semigroups-associated-algebras.html