%0 Book
%A  Robert Harper, Carnegie Mellon University.
%T Practical foundations for programming languages /
%U /book/90206034/Practical-foundations-for-programming-languages/