Performance aspects of Ada tasking in embedded systems. - Ronald Huijsman; Jan van Katwijk; W. J. Toetenel (Microprocess. Microprogramming, 1987)

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

SEAL A simple language for prototyping action-event specifications. - Klaas Brink; Ronald Huijsman; Jan van Katwijk (Microprocess. Microprogramming, 1993)