Markus Freericks, Alois Knoll. Formally correct translation of DSP algorithms specified in an asynchronous applicative language. In IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP '93, Minneapolis, Minnesota, USA, April 27-30, 1993. pages 417-420, IEEE Computer Society, 1993. [doi]
Abstract is missing.