Collaborations between Kees Hulst and Willy Stassen