The Hoare and Symth power domain constructors commute under composition
consistently complete algebraic partial orders
scientific article; zbMATH DE number 4145967