Thread:Juraj103/@comment-31463564-20180701140303/@comment-31463564-20180706212139

Ah just understood that last one is Dijkstra and Esterad.