Butz, C. “Syntax and Semantics of the Logic L_omega omega^lambda”. BRICS Report Series, bd. 4, nr. 22, januar 1997, doi:10.7146/brics.v4i22.18948.