What is this? This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.

Ernst-Rüdiger Olderog

A grouping.

What Hoare logic can and cannot prove: 'On the Notion of Expressiveness and the Rule of Adaptation' is about what the expressiveness condition costs, that condition being exactly what Cook's relative completeness result rests on. The other three are joint with Apt -- the textbook on verification of sequential and concurrent programs, its object-oriented sequel, and 'Fifty years of Hoare's logic'.