David de Frutos-Escrig Some Probabilistic Powerdomains in the Category SFP. 49-59 1986 conf/stacs/1986 STACS db/conf/stacs/stacs86.html#Escrig86 http://dx.doi.org/10.1007/3-540-16078-7_64