A structural proof of the soundness of rely/guarantee rules (2007)

by Joey W Coleman, Cliff B Jones
Venue:J. Log. and Comput