The first order properties of products of algebraic systems, Fundamenta Mathematicae 47 (1959)

by Solomon Feferman, Robert L Vaught