Program Development Schemata as Derived Rules

Penny Anderson, David A. Basin. Program Development Schemata as Derived Rules. Journal of Symbolic Computation, 30(1):5-36, 2000.

Abstract

Abstract is missing.