@article{Sabry:1992:RPC:141478.141563,
    Address = {New York, NY, USA},
    Author = {Sabry, Amr and Felleisen, Matthias},
    File = {Reasoning about programs in continuation-passing style - Sabry, Felleisen (0) (0) - a - a - u.pdf},
    ISSN = {1045-3563},
    Journal = {SIGPLAN Lisp Pointers},
    Keywords = {continuation-passing style transformation},
    Month = {January},
    Number = {1},
    Pages = {288--298},
    Publisher = {ACM},
    Title = {Reasoning about programs in continuation-passing style},
    URL = {http://doi.acm.org/10.1145/141478.141563},
    Volume = {V},
    Year = {1992},
    acmid = {141563},
    bdsk-url-1 = {http://doi.acm.org/10.1145/141478.141563},
    bdsk-url-2 = {http://dx.doi.org/10.1145/141478.141563},
    date-added = {2013-06-17 09:12:07 +0000},
    date-modified = {2013-06-17 09:12:26 +0000},
    file-2 = {Reasoning about programs in continuation-passing style - Sabry, Felleisen (1) (0) - a - a - u.pdf},
    issue_date = {Jan. 1992},
    numpages = {11},
    doi = {10.1145/141478.141563}
}

@article{Sabry:1992:RPC:141478.141563, Address = {New York, NY, USA}, Author = {Sabry, Amr and Felleisen, Matthias}, File = {Reasoning about programs in continuation-passing style - Sabry, Felleisen (0) (0) - a - a - u.pdf}, ISSN = {1045-3563}, Journal = {SIGPLAN Lisp Pointers}, Keywords = {continuation-passing style transformation}, Month = {January}, Number = {1}, Pages = {288--298}, Publisher = {ACM}, Title = {Reasoning about programs in continuation-passing style}, URL = {http://doi.acm.org/10.1145/141478.141563}, Volume = {V}, Year = {1992}, acmid = {141563}, bdsk-url-1 = {http://doi.acm.org/10.1145/141478.141563}, bdsk-url-2 = {http://dx.doi.org/10.1145/141478.141563}, date-added = {2013-06-17 09:12:07 +0000}, date-modified = {2013-06-17 09:12:26 +0000}, file-2 = {Reasoning about programs in continuation-passing style - Sabry, Felleisen (1) (0) - a - a - u.pdf}, issue_date = {Jan. 1992}, numpages = {11}, doi = {10.1145/141478.141563} }