Yuri Gurevich, Saharon Shelah"Fixed-point extensions of first-order logic."Annals of Pure and Applied Logic32(1986):265-280.