Microlocal properties of a class of pseudodifferential operators with double involutive characteristics P. R. Popivanov — 1987 Banach Center Publications