O.: Categories, relations and dynamic programming (1992)

by de Moor