Kevin J. Compton: Stratified Least Fixpoint Logic. Theor. Comput. Sci. 131(1): 95-120 (1994)