Collaborations between Jon Gries and Marvin Willson