Mikkel Thorup Undirected Single-Source Shortest Paths with Positive Integer Weights in Linear Time. 362-394 1999 46 J. ACM 3 http://doi.acm.org/10.1145/316542.316548 db/journals/jacm/jacm46.html#Thorup99