H. B. M. Jonkers

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

Ella E. Roubtsova, L. C. M. van Gool, Ruurd Kuiper, H. B. M. Jonkers: Consistent specification of interface suites in UML. Software and System Modeling 1(2): 98-112 (2002)

Ella E. Roubtsova, L. C. M. van Gool, Ruurd Kuiper, H. B. M. Jonkers: A Specification Model for Interface Suites. UML 2001: 457-471

Hans Jonkers: Interface-Centric Architecture Descriptions. WICSA 2001: 113-124

H. B. M. Jonkers: ISpec: Towards Practical and Sound Interface Specifications. IFM 2000: 116-135

H. B. M. Jonkers: Communication and Synchronisation Using Interaction Objects. World Congress on Formal Methods 1999: 1321-1342

Loe M. G. Feijs, H. B. M. Jonkers: History, principles and application of the SPRINT method. Journal of Systems and Software 41(3): 199-219 (1998)

Loe M. G. Feijs, Hans Jonkers, C. A. Middelburg: Notations for software design. FACIT: Formal approaches to computing and information technology, Springer 1994, isbn 978-3-540-19902-1, pp. I-XII, 1-425

H. B. M. Jonkers: An Overview of the SPRINT Method. FME 1993: 403-427

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

H. B. M. Jonkers: Inheritance in COLD. Algebraic Methods 1989: 277-301

H. B. M. Jonkers: An Introduction to COLD-K. Algebraic Methods 1987: 139-205

H. B. M. Jonkers: Description Algebra. Algebraic Methods 1987: 283-306

H. B. M. Jonkers: A Fast Garbage Compaction Algorithm. Inf. Process. Lett. 9(1): 26-30 (1979)