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