Calculating A Path Algorithm (1992)

by Roland C. Backhouse, A. J. M. Van Gasteren
Venue:Science of Computer Programming