An axiomatic approach to binary logical relations with applications to data refinement (1997)

by Y Kinoshita, P W O’Hearn, A J Power, M Takeyama, R D Tennent
Venue:Manuscript, Queen Mary and