Theory of normal forms of linear second order mixed type PDEs on the plane

This theory originates from the known treatise by F.Tricomi (1923), in which normal form for such an equation was proposed near a typical point of type change line, at which the characteristic direction is not tangent to the line. The correct proof for this form was given a decade later by M.Cibrario.