Text this: Graphs, dioids and semirings :