Program Development Schemata as Derived Rules (2000)

by Penny Anderson, David Basin
Venue:Journal of Symbolic Computation