@incollection{continuation:85,
    Author = {Meyer, AlbertR. and Wand, Mitchell},
    BookTitle = {Logics of Programs},
    Editor = {Parikh, Rohit},
    File = {Continuation semantics in typed lambda-calculi - Meyer, Wand (0) (0) - a - a - v.pdf},
    ISBN = {978-3-540-15648-2},
    Keywords = {continuation-passing style transformation},
    Pages = {219-224},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {Continuation semantics in typed lambda-calculi},
    URL = {http://dx.doi.org/10.1007/3-540-15648-8\_17},
    Volume = {193},
    Year = {1985},
    bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-15648-8\_17},
    date-added = {2013-05-02 08:59:40 +0000},
    date-modified = {2013-05-02 08:59:59 +0000},
    file-2 = {Continuation semantics in typed lambda-calculi - Meyer, Wand (1) (0) - a - a - v.pdf},
    doi = {10.1007/3-540-15648-8_17}
}

@incollection{continuation:85, Author = {Meyer, AlbertR. and Wand, Mitchell}, BookTitle = {Logics of Programs}, Editor = {Parikh, Rohit}, File = {Continuation semantics in typed lambda-calculi - Meyer, Wand (0) (0) - a - a - v.pdf}, ISBN = {978-3-540-15648-2}, Keywords = {continuation-passing style transformation}, Pages = {219-224}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Continuation semantics in typed lambda-calculi}, URL = {http://dx.doi.org/10.1007/3-540-15648-8_17}, Volume = {193}, Year = {1985}, bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-15648-8_17}, date-added = {2013-05-02 08:59:40 +0000}, date-modified = {2013-05-02 08:59:59 +0000}, file-2 = {Continuation semantics in typed lambda-calculi - Meyer, Wand (1) (0) - a - a - v.pdf}, doi = {10.1007/3-540-15648-8_17} }