Introduction to infinitely many varieties - Robinson, Enders A. (1959)