没有找到引用A proof technique for rely/guarantee properties的文章。