Andrews, D.J. ; J.F. Groote, and C.A. Middelburg, editors, Proceedings IWSSL (International Workshop on Semantics of Specification Languages), Workshops in Computing, Springer-Verlag, 1994

• Groote, F. and Ponse, A. (1994) Groote, F. and Ponse, A. "Proof theory for muCRL: a language for processes with data" pp232-251