Collaborations between Kees Linthorst and Willy Stassen