G Choquet 1956 + Bishop-de-Leeuw 1959 extreme-point integral-representation; modern measure-theoretic convex analysis.