1. Penny Anderson and David Basin. Deriving and applying logic program transformers. In Algorithms, Concurrency and Knowledge (1995 Asian Computing Science Conference), pages 301–318, Pathumthani, Thailand, December 1995. Springer-Verlag, LNCS 1023.
2. Abdelwaheb Ayari. A reinterpretation of the deductive tableaux system in higher-order logic. Master's thesis, University of Saarbrücken, 1995. Available at http://www.mpi-sb.mpg.de/»bdu/dts.ps.Z.
3. David Basin. Logic frameworks for logic programs. In 4th International Workshop on Logic Program Synthesis and Transformation, (LOPSTR'94), pages 1–16, Pisa, Italy, June 1994. Springer-Verlag, LNCS 883.
4. CIP System Group: F. L. Bauer et al. The Munich Project CIP, Volume II: The Program Transformation System CIP-S, volume 292 of Lecture Notes in Computer Science. Springer-Verlag, 1987.
5. Rod M. Burstall and Joseph A. Goguen. Putting theories together to make specifications. In 5th IJCAI, pages 1045–1058, Boston, Mass, 1977.