You are about to access our book library "Formal Methods in Computer-Aided Design : First International Conference,FMCAD '96, Palo Alto, CA, U. S. A., November 6-8, 1996: Proceedings full version" .