Geoffrey Brown Wayne Luk John O'Leary Retargeting a Hardware Compiler Using Protokol Converters. 209-237 1996 8 Formal Asp. Comput. 2 db/journals/fac/fac8.html#BrownLO96