A method of constructing general contact tangential charts Katuhiko Morita, Osamu Satō (1973) Aplikace matematiky