Text this: Proceedings of the 9th International Symposium on System Synthesis : La Jolla, California, November 6-8, 1996 / co-sponsored by the IEEE Computer Society, ACM SIGDA ; in cooperation with IFIP 10.5 ; with corporate support from Quickturn Design Systems, Inc.