,
North-Holland (Amsterdam)

Bergstra, J., Fokkink, W., & Ponse, A. (2001). Process algebra with recursive operations. In Handbook of process algebra (pp. 333–389). North-Holland (Amsterdam).