Springer (Berlin)
Lecture Notes in Computer Science
International Conference on Concurrency Theory
Computer Security

Rutten, J. (1998). Automata and coinduction (an exercise in coalgebra). In Proceedings of International Conference on Concurrency Theory 1998 (pp. 194–218). Springer (Berlin).