@article{Benson197950,
    Author = {Benson, David B.},
    File = {Parameter passing in nondeterministic recursive programs - Benson (0) (0) - a - a - z.pdf},
    ISSN = {0022-0000},
    Journal = {Journal of Computer and System Sciences},
    Number = {1},
    Pages = {50 - 62},
    Title = {Parameter passing in nondeterministic recursive programs},
    URL = {http://www.sciencedirect.com/science/article/pii/0022000079900138},
    Volume = {19},
    Year = {1979},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/0022000079900138},
    bdsk-url-2 = {http://dx.doi.org/10.1016/0022-0000(79)90013-8},
    date-added = {2014-01-29 12:15:05 +0000},
    date-modified = {2014-01-29 12:15:05 +0000},
    doi = {10.1016/0022-0000(79)90013-8}
}

@article{Benson197950, Author = {Benson, David B.}, File = {Parameter passing in nondeterministic recursive programs - Benson (0) (0) - a - a - z.pdf}, ISSN = {0022-0000}, Journal = {Journal of Computer and System Sciences}, Number = {1}, Pages = {50 - 62}, Title = {Parameter passing in nondeterministic recursive programs}, URL = {http://www.sciencedirect.com/science/article/pii/0022000079900138}, Volume = {19}, Year = {1979}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/0022000079900138}, bdsk-url-2 = {http://dx.doi.org/10.1016/0022-0000(79)90013-8}, date-added = {2014-01-29 12:15:05 +0000}, date-modified = {2014-01-29 12:15:05 +0000}, doi = {10.1016/0022-0000(79)90013-8} }