Microsurgery tools manufactured by electrodischarge machining | IEEE Conference Publication | IEEE Xplore