Copy and paste this link:
http://journals.cambridge.org/action/displayAbstract?aid=448299
Copy and paste this citation
HAHNSANG KIM,
THIERRY TURLETTI
and AMAR BOUALI
(2006).
EPspectra: a formal toolkit for developing DSP software applications. Theory and Practice of Logic Programming, 6
,
pp 451-481
doi:10.1017/S1471068405002565