A proof technique for rely/guarantee properties (1985)

by Eugene W Stark
Venue:Foundations of Software Technology and The60 Computer Science