Towards a discipline of dynamic programming (2002)

by Robert Giegerich, Carsten Meyer, Peter Steffen