Abbas Edalat Power Domains and Iterated Function Systems. 182-197 1996 124 Inf. Comput. 2 db/journals/iandc/iandc124.html#Edalat96