Proceedings of the 10th international symposium on System synthesis - Vahid, Frank (ACM Conferences, 1997)