, 1987, On "logical relations" in program semantics, in D. G. Skordev (ed.), Mathematical logic and its applications, Dordrecht, Springer, pp. 213-229.