Karl Meinke L. J. Steggles Correctness of dataflow and systolic algorithms using algebras of streams. 45-88 2001 38 Acta Inf. 1 http://link.springer.de/link/service/journals/00236/bibs/1038001/10380045.htm db/journals/acta/acta38.html#MeinkeS01