A Fast Garbage Compaction Algorithm. - H. B. M. Jonkers (Inf. Process. Lett., 1979)

An Introduction to COLD-K. - H. B. M. Jonkers (Algebraic Methods, 1987)

Description Algebra. - H. B. M. Jonkers (Algebraic Methods, 1987)

Inheritance in COLD. - H. B. M. Jonkers (Algebraic Methods, 1989)

Upgrading the Pre- and Postcondition Technique. - H. B. M. Jonkers (VDM Europe (1), 1991)

An Overview of the SPRINT Method. - H. B. M. Jonkers (FME, 1993)

Notations for software design. - Loe M. G. Feijs; Hans Jonkers; Cornelis A. Middelburg (Springer, 1994)

History, principles and application of the SPRINT method. - Loe M. G. Feijs; H. B. M. Jonkers (J. Syst. Softw., 1998)

Communication and Synchronisation Using Interaction Objects. - H. B. M. Jonkers (World Congress on Formal Methods, 1999)

ISpec: Towards Practical and Sound Interface Specifications. - H. B. M. Jonkers (IFM, 2000)

A Specification Model for Interface Suites. - Ella E. Roubtsova; Louis C. M. van Gool; Ruurd Kuiper 001; H. B. M. Jonkers (UML, 2001)

Interface-Centric Architecture Descriptions. - Hans Jonkers (WICSA, 2001)

Consistent specification of interface suites in UML. - Ella E. Roubtsova; Louis C. M. van Gool; Ruurd Kuiper 001; H. B. M. Jonkers (Softw. Syst. Model., 2002)

Interface Specification: A Balancing Act (Extended Abstract). - H. B. M. Jonkers (CBSE, 2004)