Elsevier
Theoretical Computer Science
Computer Security

Rutten, J. (2015). Universal coalgebra: a theory of systems. Theoretical Computer Science.