On "logical relations" in program semantics

1987

Boris A. Trakhtenbrot

in: Mathematical logic and its applications, Berlin,