Invariants in process algebra with data by M.A. Bezem