A domain theoretic characterisation of the universal relation
scientific article; zbMATH DE number 20387
scientific article