Diamond milling of micro-optics | IEEE Journals & Magazine | IEEE Xplore