Program development schemata as derived rules (0)

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