K.- sing Lau, “Infinite Dimensional Polytopes”., Math. Scand., vol. 32, pp. 193–213, Dec. 1973.