Daniele Varacca: The Powerdomain of Indexed Valuations. LICS 2002: 299-