Formally correct translation of DSP algorithms speci ed in an asynchronous applicative language (1993)

by Markus Freericks, Alaois Knoll
Venue:In ICASSP 93