%0 Book
%F Pierce02
%A Pierce, Benjamin C.
%T Types and Programming Languages
%I The MIT Press
%@ 0262162091
%D 2002