Correction: versatile and declarative dynamic programming using pair algebras.

Correction: versatile and declarative dynamic programming using pair algebras.