Bart Mesman Marino T. J. Strik Adwin H. Timmer Jef L. van Meerbergen Jochen A. G. Jess Constraint Analysis for DSP Code Generation. 33-40 1997 ISSS http://computer.org/proceedings/isss/7949/79490033abs.htm db/conf/isss/isss1997.html#MesmanSTMJ97