Operational domain theory and topology of sequential programming languages
scientific article; zbMATH DE number 5544369
scientific article