François Lamarche Quantitative Domains and Infinitary Algebras. 37-62 1992 94 Theor. Comput. Sci. 1 db/journals/tcs/tcs94.html#Lamarche92