D. Varacca, “The Powerdomain of Indexed Valuations”, BRICS, vol. 9, no. 38, Sep. 2002.