From µCRL to mCRL2: Motivation and Outline. - Jan Friso Groote; Aad Mathijssen; Muck van Weerdenburg; Yaroslav S. Usenko (APC 25, 2005)

The Formal Specification Language mCRL2. - Jan Friso Groote; Aad Mathijssen; Michel A. Reniers; Yaroslav S. Usenko; Muck van Weerdenburg (MMOSS, 2006)

An Account of Implementing Applicative Term Rewriting. - Muck van Weerdenburg (WRS@FLoC, 2006)

Action Abstraction in Timed Process Algebra. - Michel A. Reniers; Muck van Weerdenburg (FSEN, 2007)

Process Algebra with Local Communication. - Muck van Weerdenburg (FACS, 2007)

Automating Soundness Proofs. - Muck van Weerdenburg (SOS@ICALP, 2008)

Structural Operational Semantics with First-Order Logic. - Muck van Weerdenburg; Michel A. Reniers (SOS@ICALP, 2008)

Search algorithms for automated validation. - Tom A. N. Engels; Jan Friso Groote; Muck van Weerdenburg; Tim A. C. Willemse (J. Log. Algebraic Methods Program., 2009)

Early reading intervention by means of a multicomponent reading game. - Marco van de Ven; L. de Leeuw; Muck van Weerdenburg; Esther G. Steenbeek-Planting (J. Comput. Assist. Learn., 2017)