On propagation of singularities of solutions of initial-boundary value problems for first order hyperbolic systems.

Some version of the lemma on finite speed of propagation of singularities is proved for the first order hyperbolic systems. This version was used in a number of papers devoted to spectral asymptotics for elliptic operators.