Operational domain theory and topology of sequential programming languages - Escardó, Martı´n; Ho, Weng Kin (Information & Computation, 2009)