Krzysztof R. Apt;J. W. de Bakker
-;-
Ten Years of Hoare's Logic: A Survey—Part I
ACM Transactions on Programming Languages and Systems (TOPLAS)
Graph-based object-oriented hoare logic
Theories of Programming and Formal Methods