On the completeness of propositional Hoare logic
scientific article; zbMATH DE number 1758158