D. Varacca, “The Powerdomain of Indexed Valuations”, BRICS, bd. 9, nr. 38, sep. 2002.