6 ms·Any specific paper or article of his you would recommend?by seumars 1y agoAny specific paper or article of his you would recommend?sitkack 1y agohttps://en.wikipedia.org/wiki/Predicate_transformer_semantics https://en.wikipedia.org/wiki/Predicate_transformer_semantic... Found in about 9 seconds.grahamlee 1y ago_A Discipline of Programming_