Software (theme 1)
Int. Fed. of Computational Logic
Logical Methods in Computer Science
Computer Security

Silva, A.M, Bonchi, F, Bonsangue, M.M, & Rutten, J.J.M.M. (2013). Generalizing determinization from automata to coalgebras. Logical Methods in Computer Science, 9(1:09), 1–27.