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)

Verified Design of an Automated Parking Garage. - Aad Mathijssen; A. Johannes Pretorius (FMICS/PDMC, 2006)

A Formal Calculus for Informal Equality with Binding. - Murdoch Gabbay; Aad Mathijssen (WoLLIC, 2007)

Capture-avoiding substitution as a nominal algebra. - Murdoch James Gabbay; Aad Mathijssen (Formal Aspects Comput., 2008)

One-and-a-halfth-order Logic. - Murdoch James Gabbay; Aad Mathijssen (J. Log. Comput., 2008)

Behavioural Analysis of an I2C Linux Driver. - Dragan Bosnacki; Aad Mathijssen; Yaroslav S. Usenko (FMICS, 2009)

Nominal (Universal) Algebra: Equational Logic with Names and Binding. - Murdoch James Gabbay; Aad Mathijssen (J. Log. Comput., 2009)

A Nominal Axiomatization of the Lambda Calculus. - Murdoch James Gabbay; Aad Mathijssen (J. Log. Comput., 2010)