FULL ABSTRACTION AND SEMANTIC EQUIVALENCE - Mulmuley, Ketan (Cambridge Mit Pr., 1987)
Thesis (Ph. D.) -- Carnegie-Mellon Univ., 1985
Keywords: Programming Languages (Electronic Computers) -- Semantics