Type Checking BSI/VDM-SL. - Nico Plat; Ronald Huijsman; Jan van Katwijk; Gertjan van Oosten; Kees Pronk; Hans Toetenel (VDM Europe, 1990)

Distributed store allocation and file management for transputer networks. - J. C. Admiral; Cornelis Pronk (Microprocess. Microsystems, 1990)

A Case for Structured Analysis/Formal Design. - Nico Plat; Jan van Katwijk; Kees Pronk (VDM Europe (1), 1991)

The Delft VDM-SL Front-End. - Nico Plat; Kees Pronk; Marcel Verhoef (VDM Europe (1), 1991)

Stress Testing of Compilers for Modula-2. - Cornelis Pronk (Softw. Pract. Exp., 1992)

On the Interaction between Metrics and Patterns. - Frans Ververs; Cornelis Pronk (OOIS, 1995)

Gnass: a Gnat-based allocation and scheduling system. - B. Noorduin; Jan van Katwijk; Cornelis Pronk (RTCSA, 1996)

ISO/IEC 10514-1, the Standard for Molula-2: Process Aspects. - Cornelis Pronk; Martin Schönhacker (ACM SIGPLAN Notices, 1996)

ISO/IEC 10514-1, the Standard for Molula-2: Changes, Clarifications and Additions. - Martin Schönhacker; Cornelis Pronk (ACM SIGPLAN Notices, 1996)

Static Type Checking and Method Lookup in Plop!. - Peter G. Kluit; Cornelis Pronk; Rob Verver (JMLC, 1997)

Scalable Modules in Generic Modula-2. - Cornelis Pronk; Richard J. Sutcliffe (JMLC, 1997)

Standardized Extensions to Modula-2. - Cornelis Pronk; Martin Schönhacker; Richard J. Sutcliffe; Albert Wiedemann (ACM SIGPLAN Notices, 1997)

Constructing formal language definitions, can we manage? What can we learn from Modula-2 standardization? - Cornelis Pronk; Martin Schönhacker (Comput. Stand. Interfaces, 1998)

Specification of Real-Time Systems in UML. - Ella E. Roubtsova; Jan van Katwijk; W. J. Toetenel; Cornelis Pronk; Ruud C. M. de Rooij (MTCS, 2000)

Formal definition of programming language standards. - Cornelis Pronk; Martin Schönhacker (ACM SIGPLAN Notices, 2003)

Syntax error repair for a Java-based parser generator. - Peter J. van der Spek; Nico Plat; Cornelis Pronk (ACM SIGPLAN Notices, 2005)

Design and implementation of a GUI for the TLC model checker. - Bo Wang; Cornelis Pronk (ACM SIGPLAN Notices, 2006)

RAFFS: Model Checking a Robust Abstract Flash File Store. - Paul Taverne; Cornelis Pronk (ICFEM, 2009)

EpiSpin: An Eclipse Plug-In for Promela/Spin Using Spoofax. - Bob de Vos; Lennart C. L. Kats; Cornelis Pronk (SPIN, 2011)