An Axiomatic Approach to Binary Logical Relations with Applications to Data Refinement (1997)

by Yoshiki Kinoshita, Peter W. O'hearn, A. John Power, Makoto Takeyama, Robert D. Tennent
Venue:Proc. TACS'97, Springer LNCS 1281