@Book{Pie02,
    Author       = "Pierce, B.",
    Year         = "2002",
    Title        = "{Programming Languages}",
    Publisher    = "MIT Press",
    Comment      = "TPTPRef"
}