@article{Trakhtenbrot1984275,
    Author = {Trakhtenbrot, Boris},
    File = {Some equivalent transformations of recursive programs based on their schematic properties - Trakhtenbrot (0) (0) - a - a - s.pdf},
    ISSN = {0020-0190},
    Journal = {Information Processing Letters},
    Keywords = {recursive schemes},
    Number = {5},
    Pages = {275 - 283},
    Title = {Some equivalent transformations of recursive programs based on their schematic properties},
    URL = {http://www.sciencedirect.com/science/article/pii/0020019084900073},
    Volume = {18},
    Year = {1984},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/0020019084900073},
    bdsk-url-2 = {http://dx.doi.org/10.1016/0020-0190(84)90007-3},
    date-added = {2012-12-10 15:39:39 +0000},
    date-modified = {2012-12-10 15:39:59 +0000},
    doi = {10.1016/0020-0190(84)90007-3}
}

@article{Trakhtenbrot1984275, Author = {Trakhtenbrot, Boris}, File = {Some equivalent transformations of recursive programs based on their schematic properties - Trakhtenbrot (0) (0) - a - a - s.pdf}, ISSN = {0020-0190}, Journal = {Information Processing Letters}, Keywords = {recursive schemes}, Number = {5}, Pages = {275 - 283}, Title = {Some equivalent transformations of recursive programs based on their schematic properties}, URL = {http://www.sciencedirect.com/science/article/pii/0020019084900073}, Volume = {18}, Year = {1984}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/0020019084900073}, bdsk-url-2 = {http://dx.doi.org/10.1016/0020-0190(84)90007-3}, date-added = {2012-12-10 15:39:39 +0000}, date-modified = {2012-12-10 15:39:59 +0000}, doi = {10.1016/0020-0190(84)90007-3} }