Predicate transformer semantics
[bg] Предикатно-трансформативна семантика
[ca] Semàntica de transformació de predicats
[de] Wp-Kalkül
[es] Semántica de transformación de predicados
[ja] 述語変換意味論
[nl] Predicaat-transformer-semantiek
[ru] Слабейшее предусловие