1994
Calculating Path Algorithms.
Sci. Comput. Program., 1994

1992
Conservative Fixpoint Functions on a Graph.
Proceedings of the Mathematics of Program Construction, Second International Conference, Oxford, UK, June 29, 1992

1990
Left-Bottom and Right-Top Segments.
Sci. Comput. Program., 1990