@article{GallagherBruynooghe:1991,
    Author = {Gallagher, John and Bruynooghe, Maurice},
    File = {The derivation of an algorithm for program specialisation - Gallagher, Bruynooghe (0) (0) - a - a - r.pdf},
    ISSN = {0288-3635},
    Journal = {New Generation Computing},
    Keywords = {Program Specialisation; Partial Evaluation; Obstruct Interpretation},
    Language = {English},
    Number = {3-4},
    Pages = {305-333},
    Publisher = {Springer-Verlag},
    Title = {The derivation of an algorithm for program specialisation},
    URL = {http://dx.doi.org/10.1007/BF03037167},
    Volume = {9},
    Year = {1991},
    bdsk-url-1 = {http://dx.doi.org/10.1007/BF03037167},
    date-added = {2014-03-12 08:49:16 +0000},
    date-modified = {2014-03-12 08:49:16 +0000},
    doi = {10.1007/BF03037167}
}

@article{GallagherBruynooghe:1991, Author = {Gallagher, John and Bruynooghe, Maurice}, File = {The derivation of an algorithm for program specialisation - Gallagher, Bruynooghe (0) (0) - a - a - r.pdf}, ISSN = {0288-3635}, Journal = {New Generation Computing}, Keywords = {Program Specialisation; Partial Evaluation; Obstruct Interpretation}, Language = {English}, Number = {3-4}, Pages = {305-333}, Publisher = {Springer-Verlag}, Title = {The derivation of an algorithm for program specialisation}, URL = {http://dx.doi.org/10.1007/BF03037167}, Volume = {9}, Year = {1991}, bdsk-url-1 = {http://dx.doi.org/10.1007/BF03037167}, date-added = {2014-03-12 08:49:16 +0000}, date-modified = {2014-03-12 08:49:16 +0000}, doi = {10.1007/BF03037167} }