Peter B. Reintjes AUNT: A Universal Netlist Translator. 5-19 1990 8 J. Log. Program. 1 db/journals/jlp/jlp8.html#Reintjes90