A Fully Abstract Semantics And A Proof System For An ALGOL-like Language With Sharing (1984)

by Stephen D Brooks