2011-07-08 22:45:44 http://www.cis.upenn.edu/~bcpierce/papers/dp.pdf