J.P.H.W. van den Eijnde

Calculating Path Algorithms

Roland C. Backhouse, J.P.H.W. van den Eijnde, A.J.M. van Gasteren, 1994, Sci. Comput. Program..

Program derivation in acyclic graphs and related problems

J.P.H.W. van den Eijnde, J. V. D. Eijnde, 1992 .