Software (theme 1)
A.C.M.
ACM Transactions on Computational Logic
Computer Security

Bonsangue, M.M, Milius, S, & Silva, A.M. (2013). Sound and complete axiomatizations of coalgebraic language equivalence. ACM Transactions on Computational Logic, 14(1).