A Framework for Symbolic Distributed Computer-Aided Design over the Internet. - Yingcai Xiao; Shivakumar Kubendrachari (ICWI, 2004)