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