Calculating Path Algorithms

Roland Carl Backhouse, J. P. H. W. van den Eijnde, A. J. M. van Gasteren. Calculating Path Algorithms. Science of Computer Programming, 22(1-2):3-19, 1994.

Abstract

Abstract is missing.