Expansive actions with specification on uniform spaces, topological entropy, and the Myhill property - Tullio Ceccherini-Silberstein; Michel Coornaert (2019)