Algebra of Communicating Processes - Preface to the Special Issue. - Alban Ponse; Chris Verhoef; Bas van Vlijmen (Theor. Comput. Sci., 1997)

EURIS, a Specification Method for Distributed Interlockings. - Fokko van Dijk; Wan J. Fokkink; Gea Kolk; Paul van de Ven; Bas van Vlijmen (SAFECOMP, 1998)

LARIS 1.0 - LAnguage for Railway Interlooking Specifications. - Wan J. Fokkink; Jan Friso Groote; Marco Hollenberg; Bas van Vlijmen (CWI, 2000)