The main purpose of this book is to give a self-contained synthesis of different results in the domain of symbolic calculus of conormal singularities of semilinear hyperbolic progressing waves. The authors deal generally with real matrix valued co-efficients and with real vector valued solutions, but the complex case is similar. They consider also N x N first order systems rather than high order scalar equations, because the polarisation properties of symbols are less natural in the latter case. Moreover, although they assume generally that the real characteristics are simple, the methods can give results for symmetric or symmetrisable first order hyperbolic systems.