Invariants in process algebra with data (1994)

by M Bezem, J F Groote
Venue:of Lecture Notes in Computer Science