Collaborations between Jos van der Linden and Willy Stassen