A Proof Tool Dedicated to Clean - The First Prototype. - Maarten de Mol; Marko C. J. D. van Eekelen (AGTIVE, 1999)

Theorem Proving for Functional Programmers. - Maarten de Mol; Marko C. J. D. van Eekelen; Marinus J. Plasmeijer (IFL, 2001)

Proof support for generic type classes. - Ron van Kesteren; Marko C. J. D. van Eekelen; Maarten de Mol (Trends in Functional Programming, 2004)

Proof Tool Support for Explicit Strictness. - Marko C. J. D. van Eekelen; Maarten de Mol (IFL, 2005)

A Single-Step Term-Graph Reduction System for Proof Assistants. - Maarten de Mol; Marko C. J. D. van Eekelen; Rinus Plasmeijer (AGTIVE, 2007)

Proving Properties of Lazy Functional Programs with Sparkle. - Maarten de Mol; Marko C. J. D. van Eekelen; Rinus Plasmeijer (CEFP, 2007)

ICGT 2010 Doctoral Symposium. - Andrea Corradini 001; Maarten de Mol (ICGT, 2010)

On A Graph Formalism for Ordered Edges. - Maarten de Mol; Arend Rensink (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Saying Hello World with GROOVE - A Solution to the TTC 2011 Instructive Case - Amir Hossein Ghamarian; Maarten de Mol; Arend Rensink; Eduardo Zambon (TTC, 2011)

Graph Transforming Java Data. - Maarten de Mol; Arend Rensink; James J. Hunt (FASE, 2012)

Modelling and analysis using GROOVE. - Amir Hossein Ghamarian; Maarten de Mol; Arend Rensink; Eduardo Zambon; Maria Zimakova (Int. J. Softw. Tools Technol. Transf., 2012)

Beautiful Code, Beautiful Proof? - Maarten de Mol; Marko C. J. D. van Eekelen (The Beauty of Functional Code, 2013)

EditorArrow: An arrow-based model for editor-based programming. - Peter Achten; Marko C. J. D. van Eekelen; Maarten de Mol; Rinus Plasmeijer (J. Funct. Program., 2013)

Noninvasive regelbasierte Graphtransformation für Java. - James J. Hunt; Maarten de Mol; Arend Rensink (Software Engineering, 2014)