Yinghua Min Zhuxing Zhao Zhongcheng Li Boolean process-an analytical approach to circuit representation (II). 26-32 1995 conf/ats/1995 Asian Test Symposium http://csdl.computer.org/comp/proceedings/ats/1995/7129/00/71290026abs.htm db/conf/ats/ats1995.html#MinZL95