Your search returned the following 2 documents:

2. Deriving and Applying Logic Program Transformers
   Penny Anderson and David A. Basin
   In: Algorithms, Concurrency and Knowledge (1995 Asian Computing Science Conference), Pathumthani, Thailand, 1995, 1995, 301-318
   
1. Program Development Schemata as Derived Rules
   Penny Anderson and David A. Basin
   Journal of Symbolic Computation 30 (1): 5-36, 2000