Marcelo P. Fiore, Giuseppe Rosolini: Domains in H. Theor. Comput. Sci. 264(2): 171-193 (2001)