The value of information in a container collection system for end-of-life vehicles. - Ieke le Blanc; René Schreurs; Hein A. Fleuren; Harold Krikke (OR, 2004)

Analysis of a Session-Layer Protocol in mCRL2. - Marko C. J. D. van Eekelen; Stefan ten Hoedt; René Schreurs; Yaroslav S. Usenko (FMICS, 2007)