Springer exterior differential systems (springer 1991)(241s) bryant r l chern s s gardner r b goldschmidt h h griffiths p a