Hypoellipticity and eigenvalue asymptotics - Rockland, Charles (Lecture Notes in Mathematics, No.0464, 1975)