Thomas S. Anantharaman Edmund M. Clarke Michael J. Foster Bud Mishra Compiling Path Expressions Into VLSI Circuits. 150-166 1986 1 Distributed Computing 3 db/journals/dc/dc1.html#AnantharamanCFM86