Title: Fully abstract models of programming languages
Subjects: Programming languages (Electronic computers), Semantics