Software (theme 1)
Journal of the ACM
Computer Security

Baeten, J.C.M, Corradini, F, & Grabmayer, C.A. (2007). A Characterization of Regular Expressions under Bisimulation. Journal of the ACM, 54(2), 1–28.