coinductive streams machines and streams monoidal stream References A Coinductive Calculus of Streams (Rutten, 2005) Monoidal Streams for Dataflow Programming (Di Lavore, de Felice, Roman, 2022)