Graphs, dioids and semirings : new models and algorithms - Gondran, Michel (Operations research/computer science interfaces, 2008)