Jan Friso Groote Alban Ponse Proof Theory for muCRL: A Language for Processes with Data. 232-251 1993 conf/sosl/1993 Semantics of Specification Languages db/conf/sosl/sosl1993.html#GrooteP93