"Formal properties of over-determined systems of linear partial differential equations" - читать интересную книгу автора (Quillen D.G.)