Observations of variable stars in the globular cluster M80 | doi.page