C. C. Chang, “The Axiom of Comprehension in Infinite Valued Logic”., Math. Scand., vol. 13, pp. 9–30, Dec. 1963.