Noncommutative microlocal analysis - Taylor, Michael E., 1946-