This document is unfortunately not available for download at the moment.
Dimiter G. Skordev (1987) Mathematical logic and its applications, Dordrecht, Springer.
On "logical relations" in program semantics
Boris A. Trakhtenbrot
pp. 213-229
Not implemented yet !