@misc {IOPORT.70033981,
    author       = {Damiani, Ferruccio},
    title        = {Useless-code detection and elimination for PCF with algebraic data types},
    howpublished = {TLCA, 83-97 (1999).},
    year         = {1999},
    doi          = {10.1007/3-540-48959-2_8},
    identifier   = {70033981},
}