Books by IEEE/ACM International Conference on Computer-Aided Design (1993 Santa Clara, Calif.)