A new dcpo whose Scott topology is well-filtered but not sober
scientific article; zbMATH DE number 6993909