Software (theme 1)
Elsevier
Theoretical Computer Science
This paper reappeared in a virtual special issue on the occasion of its 40th anniversary
Computer Security

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