North-Holland
Journal of Logic and Algebraic Programming
Computer Security

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