Download PDF - Microlocal properties of a class of pseudodifferential operators with double involutive characteristics