1. Calculating a path algorithm;Backhouse,1993
2. Calculating path algorithms
3. The promotion and accumulation strategies in transformational programming;Bird;ACM Trans. Programming Languages Systems,1984
4. R.S. Bird and O. de Moor, The Algebra of Programming (Prentice-Hall, Englewood Cliffs, NJ, to appear).
5. Calculational graph algorithmics: reconciling two approaches with dynamic algebra;Clenaghan,1995