Software (theme 1)
Academic Press
Information and Computation
Computer Security

Bonchi, F, Bonsangue, M.M, Boreale, M, Rutten, J.J.M.M, & Silva, A.M. (2012). A coalgebraic perspective on linear weighted automata. . Information and Computation, 211, 77–105.