There are a number of excellent texts available on semi-classical analysis. The focus of this monograph is an aspect of semi-classical analysis that has beenless systematically developed in other texts: In semi-classical analysis, many of the basic results involve asymptotic expansions in which the terms can be computed by symbolic techniques, and the focus of this monograph is the "symbol calculus” created thus.