Penny Anderson David A. Basin Program Development Schemata as Derived Rules. 5-36 2000 30 J. Symb. Comput. 1 db/journals/jsc/jsc30.html#AndersonB00