A.C.M.
ACM Transactions on Computational Logic
Computer Security

Bonchi, F., Bonsangue, M., Hansen, H., Panangaden, P., Rutten, J., & Silva, A. (2014). Algebra-coalgebra duality in Brzozowski's minimization algorithm. ACM Transactions on Computational Logic, 15(1).