Varacca, D. The Powerdomain of Indexed Valuations. BRICS 2002, 9.