Frank P. Burns, D. J. Kinniment, Albert Koelmans. Correct interactive transformational synthesis of DSP hardware. In Tony Ambler, Jochen A. G. Jess, Hugo De Man, editors, Proceedings of the conference on European design automation, EURO-DAC'91, Amsterdam, The Netherlands, 1991. pages 16-21, EEE Computer Society, 1991. [doi]
Abstract is missing.