C. C. Chang, “The Axiom of Comprehension in Infinite Valued Logic”., Math. Scand., vol. 13, pp. 9–30, Dec. 1963, doi: 10.7146/math.scand.a-10685.