150321

References

Boris A. Trakhtenbrot

On "logical relations" in program semantics

1987

in: Mathematical logic and its applications, Dordrecht : Springer

Open Access Link