Full Abstraction for sequential languages: the state of the art (1985)

by G Berry, P-L Curien, J-J Lévy
Venue:Algebraic Methods in Semantics