Elsevier
Theoretical Computer Science
Computer Security

Rutten, J. (2005). A tutorial on coinductive stream calculus and signal flow graphs. Theoretical Computer Science, 343(3), 443–481.