The differential calculus of bitstreams
Rutten, Jan · Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands · 2004
Using (stream) differential equations for definitions and coinduction for proofs, we define, analyse, and relate in a uniform way four different algebraic structures on the set of 2? of bitstreams, motivating each of them in terms of the digital circuits they can describe.