%0 Book
%A Ketan Mulmuley
%T Full abstraction and semantic equivalence
%U /book/101372572/Full-abstraction-and-semantic-equivalence/