C.B.: A structural proof of the soundness of rely/guarantee rules (2007)

by J W Coleman, Jones
Venue:J. Logic and Computation