Shorter paths to graph algorithms

B. Möller, M. Russling

In R. S. Bird, C. C. Morgan, J. C. P. Woodcock (eds.): Mathematics of program construction, LNCS 669.
pp. 250-268, 1993.
Springer-Verlag.