C. Butz, “Syntax and Semantics of the logic L_omega omega^lambda”, BRICS, bd. 4, nr. 22, jan. 1997.