Books by Calif.) ACM International Conference on Computer-Aided Design (2003 : San Jose