Oege de Moor Categories, Relations and Dynamic Programming. 33-69 1994 4 Mathematical Structures in Computer Science 1 db/journals/mscs/mscs4.html#Moor94