Proof theory for CRL: a language for processes with data (1993)

by J F Groote, A Ponse
Venue:Proceedings of the International Workshop on Semantics of Speci cation Languages, Utrecht, The Netherlands