Author: IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design (1995 Mexico City, Mexico)