Sharon Curtis Dynamic programming: a different perspective. 1-23 1997 conf/alc/1997 Algorithmic Languages and Calculi db/conf/alc/alc1997.html#Curtis97