Korver, H. P., & Sellink, M. P. A. (1997). A Formal Axiomatization for Alphabet Reasoning with Parametrized Processes. (Technical Report; No. P9703). onbekend (FdL).
Hillebrand, J. A., & Korver, H. P. (1995). A well-formedness checker for ?CRL. In C. Verhoef, A. Ponse, & S. F. M. van Vlijmen (Eds.), De proceedings: ACP'95 (pp. 81-103)
Korver, H. P. (1994). Protocol Verification in mCRL. [Thesis, internally prepared, Universiteit van Amsterdam].