Văn bản này: Full abstraction and semantic equivalence / Ketan Mulmuley.