K.- sing Lau, “Infinite Dimensional Polytopes”., Math. Scand., vol. 32, pp. 193–213, Dec. 1973, doi: 10.7146/math.scand.a-11455.