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

by Y Kinoshita, P W O'Hearn, A J Power, M Takeyama, R D Tennent
Venue:Theory and Applications of Categories