Structure and Equivalence - Dewar (Cambridge University Press, 2022)