Synthesis of O(lg n) testable trees
1993 ◽
pp. 452-461