Yuri Leonidovich Ershov Theory of Domains and Nearby (Invited Paper). 1-7 1993 conf/ershov/1993 Formal Methods in Programming and Their Applications db/conf/ershov/ershov1993.html#Ershov93 http://dx.doi.org/10.1007/BFb0039696