C. Butz, “Syntax and Semantics of the logic L_omega omega^lambda”, BRICS, vol. 4, no. 22, Jan. 1997.