On a generalized product for domains
denotational description of programming languages
scientific article; zbMATH DE number 487960
scientific article