Image processing and computer-aided design in electron optics. by P. W. Hawkes