Elsevier
Theoretical Computer Science
Computer Security

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