Fully Abstract Semantics for Observably Sequential Languages
Cartwright, R. ; Curien, P.L. ; Felleisen, M.
Information and computation, 1994-06, Vol.111 (2), p.297-401
[Periódico revisado por pares]
San Diego, CA: Elsevier Inc
Texto completo disponível