Plasma etching in microtechnology by H.V. Jansen