Hongzhong Wu Synthesis of O(lg n) Testable Trees. 452-461 1993 conf/fct/1993 FCT db/conf/fct/fct93.html#Wu93