North-Holland
Journal of Logic and Algebraic Programming
Computer Security

Baeten, J.C.M, & Reniers, M.A. (2007). Duplication of Constants in Process Algebra. Journal of Logic and Algebraic Programming, 70(2), 151–171.