Left-Bottom and Right-Top Segments. - J. P. H. W. van den Eijnde (Sci. Comput. Program., 1990)

Conservative Fixpoint Functions on a Graph. - J. P. H. W. van den Eijnde (MPC, 1992)

Calculating Path Algorithms. - Roland Carl Backhouse; J. P. H. W. van den Eijnde; A. J. M. van Gasteren (Sci. Comput. Program., 1994)