Program Logics Based on Algebras with the Composition of Predicate Complement | IEEE Conference Publication | IEEE Xplore