Algebraic and geometric methods in nonlinear control theory (Reidel, 1986)