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