Using Checking Sequences for OSI Session Layer Conformance Testing. - Willem Hengeveld; Jan Kroon (PSTV, 1987)

Using formal specification and simulation: practical experience with distributed applications. - Willem Hengeveld; Peter van der Toorn; Geert-Jan Houben (FORTE, 1994)

Information System Concepts in Practice: Report on Workshop 3. - Willem Hengeveld; Alex A. Verrijn-Stuart (ISCO, 1999)