@CONFERENCE\{IMM1988-01597,
    author       = "F. Nielson",
    title        = "A Formal Type System for Comparing Partial Evaluators",
    year         = "1988",
    pages        = "349-384",
    booktitle    = "Proc. Partial Evaluation and Mixed Computation",
    volume       = "",
    series       = "",
    editor       = "D. Bj{\o}rner and A. P. Ershov and N. D. Jones",
    publisher    = "North-Holland",
    organization = "",
    address      = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/1597-full.html"
}