Weng Kin Ho: Operational domain theory and topology of sequential functional languages. University of Birmingham, UK 2006