A fully abstract semantics and a proof system for an algol-like language with sharing (1985)

by S D Brookes
Venue:Mathematical Foundations of Programming Semantics