A comparative introduction to CSP and ACT-ONE formal languages. - Mohammad Reza Nami; Bahareh Sheikh-Abbasi; Marjaneh Khoshandam (ACM SIGSOFT Softw. Eng. Notes, 2009)