Invariance condition of general nonlinear control system with integral type output - Shima, Masasuke.