Appeared as:
<P>
J. Jeuring. Incremental algorithms on lists. In J. van Leeuwen,
editor, Proceedings SION Computing Science in the Netherlands, pages
315-335, 1991. Also appeared in EURICS Workshop on Calculational
Theories of Program Structure, Hollum-Ameland, 1991.