An Improved Prenex Normal Form. - Chen C. Chang; H. Jerome Keisler (J. Symb. Log., 1962)

Model theory, Third Edition. - Chen C. Chang; H. Jerome Keisler (North-Holland, 1992)