1. Technical report;MO Ahmed,1997
2. G.W. Bluman and J.D. Cole. The general similarity solution of the heat equation. J. Math. Mech., 18:1025–1042, 1969.
3. J. Calmet, M. Hausdorf, and W.M. Seiler. A constructive introduction to involution. In Proc. Int. Symp. Applications of Computer Algebra-ISACA’ 2000. World Scientific, Singapore, to appear.
4. B. Champagne, W. Hereman, and P. Winternitz. The computer calculation of Lie point symmetries of large systems of differential equations. Comp. Phys. Comm., 66: 319–340, 1991.
5. K. Drescher. Axioms, categories and domains. Automath Technical Report No.1, Universität Paderborn, 1996.