Abstract Data Types and High-Level Synthesis. - Gregory S. Whitcomb; A. Richard Newton (DAC, 1990)