Zhaowei Xu, Wenhui Zhang, Yuefei Sui: Completeness of Hoare Logic Relative to the Standard Model. SOFSEM 2017: 119-131