The paper contains a development o[ A. I. Shirshov's composition techniques for colored Lie superalgebras: the concepts o/a composition and of a stable set are introduced for elements of those algebras, and different modifications of the composition lemma are proved. Bibliography: 36 titles.The investigation of canonical forms of elements has deep roots in algebra. The theory of canonical bases in algebraic systems goes back to the theory of groups and graphs ([1-3]). The theory of GrSbner bases of ideals in polynomial rings is now a well-developed branch of computer algebra. It gives the possibility of obtaining a series of effective algorithms for symbolic calculations (see, for example, [4]). At the present time, one can see increasing interest in the computer aspects of noncommutative (and even nonassociative) rings (see [5]).The composition method in Lie algebras was introduced by A. I. Shirshov in [6] (see also [7]). This method became an important tool in solving algorithmic problems in the theory of Lie algebras (see, for example, [8][9][10]). Expositions of the junction lemma in the associative case and relations, with computer algebra can be found in the following texts: in [11] by L. A. Bokut'; in [12] by G. Bergman; in [13] by V. N. Latyshev; and in the review [14] by V. A. Ufnarovsky.A general approach to standard bases from the homological point of view was suggested by E. S. Golod in [15]. We also mention [16] by D. Anick, in which special resolutions were used to construct standard bases in the homogeneous case. A. B. Verevkin and A. V. Kondratiev [17] created the package GRAAL of applied programs for calculations in associative algebras on the basis of GrSbner bases in ideals of the free associative algebra.In this article, compositions of elements of the free color Lie (p-)superalgebra are introduced. The main result is a version of the composition lemma for Lie superalgebras. It gives us the possibility of introducing the notion of a Gr6bner basis for ideals in free Lie superalgebras. We also discuss some connections with associative GrSbner bases. As an illustration, we consider some bases of the free product of color Lie (p-)superalgebras with the amalgamated superalgebra. Possible applications of the presented techniques in Lie superalgebras are connected with different algorithmic problems (note that the role of Shirshov's composition lemma is well known in solutions of a series of algorithmic problems in the theory of Lie algebras) and with packages of programs for calculations in Lie superalgebras given by generators and defining relations.Some particular cases of the results of this paper were obtained earlier in [18,19].