Foundations of Constructive Probability Theory - Chan (Cambridge University Press, 2021)